related documents Reachability-time games on timed automata - (Extended abstract) Conference Proceeding