Model-checking in dense real-time (1993)

by Rajeev Alur, Costas Courcoubetis, David Dill
Venue:Information and Computation