@InProceedings{BDGORW13,
  author =       {Brihaye, T and Doyen, L. and Geeraerts, G. and Ouaknine, J. and Raskin, J.F. and Worrell, J.},
  title =        {Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints},
booktitle = {Proceedings of ATVA'13, 11th International Symposium on Automated Technology for Verification and Analysis
},
  series = 	 {Lecture Notes in Computer Science},
  publisher = {Springer}, 
  year      = {2013},
  volume = {8172},
  pages = {55--70} 
  
}