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