Real-time logics: complexity and expressiveness (1993)

by Rajeev Alur, Thomas A Henzinger
Venue:INFORMATION AND COMPUTATION