Talk:Alternating timed automaton