@article {227,
	title = {Symbolic counterexample generation for large discrete-time Markov chains},
	journal = {Sci. Comput. Program.},
	volume = {91},
	year = {2014},
	pages = {90-114},
	author = {Nils Jansen and Ralf Wimmer and Erika {\'A}brah{\'a}m and Barna Zajzon and Joost-Pieter Katoen and Bernd Becker and Johann Schuster}
}