"Revisiting MITL to Fix Decision Procedures."

Nima Roohi, Mahesh Viswanathan (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics