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

by R Alur, T A Henzinger
Venue:In Proceedings of the 1991 REX Workshop on Real-Time: Theory in Practice. Lect. Notes Comput. Sci. Series