Interactive Markov Chains The Quest for Quantified Quality - Hermanns, Holger; Hermanns, Holger (Springer Berlin Heidelberg : Imprint: Springer, 2002)