2 works on record
Formal Modeling and Analysis of Timed Systems
Relational and Algebraic Methods in Computer Science