Finite automata on timed omega-trees.