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

by Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho