@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} }