Marco Faella, Salvatore La Torre, Aniello Murano: Automata-theoretic decision of timed games. Theor. Comput. Sci. 515: 46-63 (2014)