Automata-theoretic decision of timed games