Ratschanand Smaus. Finding Errors of Hybrid Systems by Optimising an Abstraction-based Quality Estimate. Springer Berlin Heidelberg, 2009, doi:10.1007/978-3-642-02949-3_12.