Efficient (Non-)Reachability Analysis of Counterexamples. - Rolf Drechsler; Wolfgang Günther 001; Burkhard Stubert (MBMV, 2004)