@inproceedings{dAFHMS02,  
    author = {Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and 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"
}