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

by Rajeev Alur, Thomas A Henzinger
Venue:In Real Time: Theory in Practice, Lecture Notes in Computer Science 600