@InProceedings{KatoenHHJZ_QEST09,
	title={The {I}ns and {O}uts of {T}he {P}robabilistic {M}odel {C}hecker {MRMC}},
	booktitle={Quantitative Evaluation of Systems (QEST)},
	author={
		Joost-Pieter Katoen and
		Ivan S. Zapreev and
		Ernst Moritz Hahn and
		Holger Hermanns and
		David N. Jansen
	},
	pages = {167--176},
	year = {2009},
	publisher = {IEEE Computer Society},
	note = {\url{www.mrmc-tool.org}},
	location = {Budapest, Hungary},
}