Husain Aljazzar Stefan Leue Debugging of Dependability Models Using Interactive Visualization of Counterexamples. 189-198 2008 QEST http://dx.doi.org/10.1109/QEST.2008.40 conf/qest/2008 db/conf/qest/qest2008.html#AljazzarL08