@InProceedings{ ClothKKP_DSN05,
	title = {Model-checking {M}arkov reward models with impulse rewards.},
	booktitle = {Dependable Systems and Networks (DSN)},
	author = {
		L. Cloth and
		J.-P. Katoen and
		M. Khattri and
		R. Pulungan
	},
	year = {2005},
	address = {Yokohama, Japan}
}