@incollection{GamesLICS02,
        author = "M. Faella and S. La Torre and A. Murano",
        title = "Dense Real-time Games",
        booktitle = "Proc. of the 17th IEEE Symposium on Logic in Computer Science",
	publisher = "{IEEE} Computer Society Press",
        year = 2002,
        pages = "167 -- 176"
        }