Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi: Temporal logics for real-time system specification. ACM Comput. Surv. 32(1): 12-42 (2000)