M. Bersani, M. Rossi, and P. San Pietro, “On the Satisfiability of Metric Temporal Logics over the Reals”, eceasst, vol. 66, Feb. 2014.