Edmund M. Clarke Ansgar Fehnker Zhi Han Bruce H. Krogh Olaf Stursberg Michael Theobald Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. 192-207 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190192.htm db/conf/tacas/tacas2003.html#ClarkeFHKST03