2 works on record
Formal Modeling and Analysis of Timed Systems
Dependable Software Engineering : Theories, Tools, and Applications