_id,doi,title 4514,10.1007/978-3-540-69507-3_7,"Games, time, and probability: Graph models for system design and analysis"