@conference {36,
	title = {Quantitative Timed Analysis of Interactive Markov Chains},
	booktitle = {4th International Symposium NASA Formal Methods (NFM)},
	volume = {7226},
	year = {2012},
	month = {04/2012},
	pages = {8-23},
	publisher = {Springer},
	organization = {Springer},
	address = {Norfolk, USA},
	doi = {10.1007/978-3-642-28891-3_4},
	author = {Dennis Guck and Tingting Han and Joost-Pieter Katoen and Martin R. Neuh{\"a}u{\ss}er}
}