Text this: Analyzing Timed Systems Using Tree Automata