Logics and models of real time: A survey. (1992)

by R Alur, T A Henzinger
Venue:In Proceedings of the Real-Time: Theory in Practice, REX Workshop,