Interactive Markov Chains : The Quest for Quantified Quality - Holger Hermanns ((Lecture Notes in Computer Science))