Oded Maler Dejan Nickovic Amir Pnueli From MITL to Timed Automata. 274-289 2006 conf/formats/2006 FORMATS http://dx.doi.org/10.1007/11867340_20 db/conf/formats/formats2006.html#MalerNP06