Mathematical techniques for analyzing concurrent and probabilistic systems - Rutten, J. J. M. M.; Kwiatkowska, Marta; Norman, Gethin (American Mathematical Society, 2004)
Includes bibliographical references (p. 209-215)