Thomas A. Henzinger: Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) 2007: 103-110