@incollection{GamesVMCAI02,
        author = "M. Faella and S. La Torre and A. Murano",
        title = "Automata-theoretic Decision of Timed Games",
        booktitle = "Proc. of the 3rd International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI02)",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer-Verlag",
        volume = 2294,
        year = 2002,
        editor = "Agostino Cortesi",
        pages = "94--108"
        }