3 works on record
Automated Technology for Verification and Analysis
Modeling and Verification of Parallel Processes
2003
Formal Modeling and Analysis of Timed Systems