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