@inproceedings{,
  author = 	 {Stefan Ratschan and Jan-Georg Smaus},
  title = 	 {Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate},
  booktitle = {Tests and Proofs},
  pages = 	 {153--168},
  year = 	 2009,
  editor = 	 {Catherine Dubois},
  volume = 	 5668,
  series = 	 {LNCS},
  publisher = {Springer}
}