Discrete abstractions of hybrid systems. (2000)

by R Alur, T A Henzinger, G Lafferriere, G J Pappas
Venue:Proceedings of the IEEE,