3 works on record
Hard Real-Time Computing Systems
Hybrid systems
Hybrid Systems : Computation and Control
2007