Pierfrancesco Bellini R. Mattonlini Paolo Nesi Temporal logics for real-time system specification. 12-42 2000 32 ACM Comput. Surv. 1 http://doi.acm.org/10.1145/349194.349197 db/journals/csur/csur32.html#BelliniMN00