5 works on record
Computer aided verification
Hybrid systems
Embedded Software
Principles of Cyber-Physical Systems
Hybrid Systems : Computation and Control
