Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1992)

by R Alur, C Courcoubetis, T A Henzinger, P H Ho
Venue:In Hybrid Systems