@conference {80,
	title = {High-Level Counterexamples for Probabilistic Automata},
	booktitle = {Quantitative Evaluation of Systems, QEST 2013},
	series = {Lecture Notes in Computer Science},
	volume = {8054},
	year = {2013},
	pages = {39-54},
	publisher = {Springer},
	organization = {Springer},
	author = {Ralf Wimmer and Nils Jansen and Andreas Vorpahl and Erika {\'A}brah{\'a}m and Joost-Pieter Katoen and Bernd Becker}
}