@InProceedings{Ratschan,
  author = 	 {Stefan Ratschan and Zhikun She},
  title = 	 {Constraints for Continuous Reachability in the Verification of Hybrid Systems},
  booktitle =    {Proc. 8th Int. Conf. on Artif. Intell. and Symb. Comp., AISC'2006},
  year =         2006,
  series =       {LNCS},
  pages =        {196--210},
  number =       4120,
  publisher =    {Springer}
}