2 works on record
Formal Modeling and Analysis of Timed Systems
Automated Technology for Verification and Analysis