6 works on record
Formal Modeling and Analysis of Timed Systems
Mathematical and Engineering Methods in Computer Science
Handbook of Model Checking
Computational Methods in Systems Biology
Computer Science Logic
Embedded Software