@conference {86,
	title = {Computing Quantiles in Markov Reward Models},
	booktitle = {Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS13},
	series = {Lecture Notes in Computer Science},
	volume = {7794},
	year = {2013},
	pages = {353-368},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-642-37075-5_23},
	author = {Michael Ummels and Christel Baier}
}