Real-time logics: complexity and expressiveness (1990)

by R Alur, T Henzinger
Venue:Proc. 5th IEEE Symp. on Logic in Computer Science