@InProceedings{RatSma09,
  author = 	 {Stefan Ratschan and Jan-Georg Smaus},
  editor =	 {Catherine Dubois and Bertrand Meyer},
  title = 	 {Finding Errors of Hybrid Systems by Optimising 
 an Abstraction-Based Quality Estimate},
  booktitle = 	 {Proceedings of the 3rd International Conference on Tests And Proofs},
  year =	 2009,
  note =         {To appear},
}