Model-checking for real-time systems. (1990)

by R Alur, C Courcoubetis, D Dill
Venue:In Proc. LICS’90.