Abstraction and counterexample-guided refinement in model checking of hybrid systems. (2003)

by E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, M Theobald
Venue:International Journal of Foundations of Computer Science