@InProceedings{	  klaedtke.ea:language-based:2007,
  author	= {Felix Klaedtke and Stefan Ratschan and Zhikun She},
  booktitle	= {8th International Conference on Verification, Model
		  Checking and Abstract Interpretation (VMCAI 2007)},
  language	= {USenglish},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  title		= {Language-Based Abstraction Refinement for Hybrid System
		  Verification},
  year		= 2007,
  user		= {felixkl}
}