A.: The Theory of Hybrid Automata (1996)

by T Henzinger
Venue:Conference on Logic in Computer Science, LICS