"Automata-Theoretic Decision of Timed Games."

Marco Faella, Salvatore La Torre, Aniello Murano (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics