@InProceedings{KatoenZ_QEST09,
	title={Simulation-{B}ased {CTMC} {M}odel {C}hecking: {A}n {E}mpirical {E}valuation },
	booktitle={Quantitative Evaluation of Systems (QEST)},
	author={
		Joost-Pieter Katoen and
		Ivan S. Zapreev
	},
	pages = {31--40},
	year = {2009},
	publisher = {IEEE Computer Society},
	note = {\url{www.mrmc-tool.org}},
	location = {Budapest, Hungary},
}