3 works on record
Computer aided verification
Synchronous programming of reactive systems
Tools and Algorithms for the Construction and Analysis of Systems