1. Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples. In: Proc. QEST 2009, pp. 299–308. IEEE Computer Society, Los Alamitos (2009)
2. Aljazzar, H., Kuntz, M., Leitner-Fischer, F., Leue, S.: Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. In: Proc. QUOVADIS 2010, pp. 25–32. ACM, New York (2010)
3. Aljazzar, H., Leue, S.: Debugging of dependability models using interactive visualization of counterexamples. In: Proc. QEST 2008. IEEE Computer Society Press, Los Alamitos (2008)
4. Aljazzar, H., Leue, S.: Generation of counterexamples for model checking of markov decision processes. In: Proc. QEST 2009, pp. 197–206. IEEE Computer Society, Los Alamitos (2009)
5. Aljazzar, H., Leue, S.: Directed explicit state-space search in the generation of counterexamples for stochastic model checking. IEEE Transactions on Software Engineering 36(1), 37–60 (2010)