@InProceedings{	  abraham.ea:optimizing:2005,
  author	= {E. Abraham and B. Becker and F. Klaedtke and M. Steffen},
  booktitle	= {6th International Conference on Verification, Model
		  Checking and Abstract Interpretation (VMCAI 2005)},
  copyright	= {Springer-Verlag},
  copyrighturl	= {www.springeronline.com},
  language	= {USenglish},
  pages		= {396--412},
  publisher	= {Springer-Verlag},
  title		= {Optimizing Bounded Model Checking for Linear Hybrid
		  Systems},
  volume	= 3385,
  year		= 2005,
  user		= {felixkl}
}