@Inproceedings{BEG13, author = {Brihaye, T and Geeraerts, G. and Esti\'evenart, M.}, title = {On {MITL} and alternating timed automata}, booktitle = {Proceedings of {FORMATS} 2013, 11th International Conference on Formal Modeling and Analysis of Timed Systems}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer}, year = {2013}, volume = {8053}, pages = {47--61} }