Symbolic model checking for real-time systems (1994)

by T A Henzinger, X Nicollin, J Sifakis, S Yovine
Venue:Inf. Comput