Stefan Ratschan Jan-Georg Smaus Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. 153-168 2009 TAP http://dx.doi.org/10.1007/978-3-642-02949-3_12 conf/tap/2009 db/conf/tap/tap2009.html#RatschanS09