The theory of hybrid automata (2000)

by T A Henzinger
Venue:Verification of Digital and Hybrid Systems. Volume 170 of NATO ASI Series F: Computer and Systems Science