Carlo A. Furia Matteo Pradella Matteo Rossi Comments on temporal logics for real-time system specification. 2009 41 ACM Comput. Surv. 2 http://doi.acm.org/10.1145/1459352.1459358 db/journals/csur/csur41.html#FuriaPR09