Games, Time, and Probability: Graph Models for System Design and Analysis