Survey paper probabilistic counterexamples

A survey paper concerning the generation of counterexamples for probabilistic systems was published by Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen and Ralf Wimmer within the scope of the PhD school SFM in Bertinoro, Italy. This paper gives a nice introduction to the foundations and the state-of-the-art of this topic, explaining all methods by means of many examples.