@article {249,
	title = {Minimal counterexamples for linear-time probabilistic verification},
	journal = {Theoretical Computer Science},
	volume = {549},
	year = {2014},
	pages = {61 - 100},
	keywords = {SAT-modulo-theories},
	issn = {0304-3975},
	doi = {http://dx.doi.org/10.1016/j.tcs.2014.06.020},
	url = {http://www.sciencedirect.com/science/article/pii/S030439751400454X},
	author = {Ralf Wimmer and Nils Jansen and Erika {\'A}brah{\'a}m and Joost-Pieter Katoen and Bernd Becker}
}