Model checking in dense real time (1993)

by R Alur, C Courcoubetis, D Dill
Venue:Information and Computation