Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.