@article {409,
	title = {High-level Counterexamples for Probabilistic Automata},
	journal = {Logical Methods in Computer Science},
	volume = {11},
	year = {2015},
	author = {Ralf Wimmer and Nils Jansen and Erika {\'A}brah{\'a}m and Joost-Pieter Katoen}
}