Model Checking for RealTime Systems (1990)

by R Alur, C Courcoubetis, D L Dill
Venue:Proc. IEEE Fifth Symp. Logic in Computer Science