Regular Expressions for PCTL Counterexamples. - Berteun Damman; Tingting Han 001; Joost-Pieter Katoen (QEST, 2008)

Counterexample Generation in Probabilistic Model Checking. - Tingting Han 001; Joost-Pieter Katoen; Berteun Damman (IEEE Trans. Software Eng., 2009)