2 works on record
Formal modeling and analysis of timed systems
Automated Technology for Verification and Analysis