@InProceedings{BEG14, author = {Brihaye, T. and Esti\'evenart, M. and Geeraerts, G.}, title = {On MITL and Alternating Timed Automata over Infinite Words}, booktitle = {Proceedings of FORMATS2014}, pages = {69--84}, year = {2014}, number = {8711}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, }