From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.