Model-Checking in Dense Real-time (1993)

by Rajeev Alur, Costas Courcoubetis, David Dill
Venue:INFORMATION AND COMPUTATION