@InProceedings{ AndovaHK_FORMATS03,
	title = { Discrete-time rewards model-checked },
	booktitle = { Formal Modeling and Analysis of Timed Systems (FORMATS) },
	author = {
		Suzana Andova and
		H. Hermanns and
		Joost-Pieter Katoen
	},
	organization = { LNCS },
	year = { 2003 },
	_publisher = { Springer-Verlag },
	address = { Marseille, France },
	url = { http://fmt.cs.utwente.nl/publications/files/417_AHK03.ps },
	_editor = { K.G. Larsen and P. Niebert }
}