@inproceedings{dAFHMS03,
author      = {Luca de Alfaro and Marco Faella and 
               Thomas A. Henzinger and Rupak Majumdar and
               Marielle Stoelinga},
booktitle   = {Proceedings CONCUR},
title       = {The element of surprise in timed games},
year        = 2003,
series      = {Lecture Notes in Computer Science},
volume      = 2761,
publisher   = {Springer-Verlag} 
}