@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}
}