A.: Real-time logics: complexity and expressiveness (1993)

by R Alur, T Henzinger
Venue:Information and Computation