Symbolic model checking for real-time systems (1994)

by X Nicolhn J Sifakis, S Yovine
Venue:Information and Computation