Logics and Models of Real-Time: A (1991)

by R Alur, T A Henzinger
Venue:Survey,” in Real Time: Theory in Practice