Real-time Logics: Complexity and Expressiveness - Alur, Rajeev; Henzinger, Thomas A. (1990)