Discrete abstractions of hybrid systems (2000)

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