Specification and verification of systems using model checking and Markov reward models - Lifson, Farrel (Department of Computer Science, 2014)
Includes bibliographical references.