@InProceedings{Abraham_Becker_Klaedtke_Steffen:opt_hybrid_bmc,
  author =       {Erika {\'A}brah{\'a}m and Bernd Becker and Felix Klaedtke and Martin Steffen},
  title =        {Optimizing Bounded Model Checking for Linear Hybrid Systems},
  booktitle =    {Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)},
  pages =        {396--412},
  year =         {2005},
  volume =       {3385},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}