Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118