Temporal logics for real-time system specification. - Pierfrancesco Bellini; R. Mattonlini; Paolo Nesi (ACM Comput. Surv., 2000)