The algorithmic analysis of hybrid systems (1995)

by R Alur, C Courcoubetis, N Halbwachs, T Henzinger, P Ho, X Nicollin, A Olivero, J Sifakis, S Yovine
Venue:Theoretical Computer Science B