@InProceedings{RatSma08,
  author = 	 {Stefan Ratschan and Jan-Georg Smaus},
  title = 	 {Finding Errors of Hybrid Systems by Optimising 
 an Abstraction-Based Quality Estimate},
  editor =       {Tarmo Uustalu and J{\"u}ri Vain},
  booktitle = 	 {Proceedings of the 20th Nordic Workshop on Programming Theory},
  pages =        {72-74},
  year =	 2008
}