@Inproceedings{BDGORW11,
  author =       {Brihaye, T and Doyen, L. and Geeraerts, G. and Ouaknine, J. and Raskin, J.F. and Worrell, J.},
  title =        {On Reachability for Hybrid Automata over Bounded Time},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  bookTitle = {Proceedings of ICALP 2011},
  volume    = {6756},
  year      = {2011},
  pages     = {416-427}
}