DOI,IST REx ID,Title of publication
10.1007/978-3-540-69507-3_7,4514,"Games, time, and probability: Graph models for system design and analysis"