Using abstractions for the veri cation of linear hybrid systems (1994)

by A Olivero, J Sifakis, S Yovine
Venue:Computer-aided Veri cation, Springer LNCS 818