@InProceedings{Klaedtke_Ratschan_She:language_cegar,
  author =       {Felix Klaedtke and Stefan Ratschan and Zhikun She},
  title =        {Language-Based Abstraction Refinement for Hybrid System Verification},
  booktitle =    {Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)},
  pages =        {151--166},
  year =         {2007},
  volume =       {4349},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}