Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems (2003)

by R Alur, C Courcoubetis, T A Henzinger, Pei-HsinHo
Venue:Lecture Notes in Computer Science 736