@article{DAMRS08,
 author = {Luca De Alfaro and Rupak Majumdar and Vishwanath Raman and Marielle Stoelinga},
 title = {Game Refinement Relations and Metrics},
 booktitle = {Logical Methods in Computer Science},
 volume = 4,
 editors = {D.S. Scott and B.C. Pierce and G.D. Plotkin and M.Y. Vardi and J. Ad\'amek}
 year = {2008},
 }