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

by E M Clarke, A Fehnker, Z Han, B H Krogh, J Ouaknine, O Stursberg, Theobald
Venue:Int. J. Found. Comput. Sci