Timed tree automata with an application to temporal logic Salvatore La TorreMargherita Napoli Pages: 89 - 116