@InProceedings{KatoenKZ_QEST05,
	title={A {M}arkov Reward Model Checker},
	booktitle={Quantitative Evaluation of Systems (QEST)},
	author={
		J.-P. Katoen and
		M. Khattri and
		I. S. Zapreev
	},
	pages = {243--244},
	year = {2005},
	publisher = {IEEE Computer Society},
	address = {Los Alamos, CA, USA},
}