Bersani, M.; Rossi, M.; San Pietro, P. On the Satisfiability of Metric Temporal Logics over the Reals. eceasst 2014, 66.