A Model of Finite Automata on Timed omega-Trees