S.: Symbolic model checking for real-time systems (1994)

by T Henzinger, X Nicollin, J Sifakis, Yovine
Venue:Information and Computation