Salvatore La Torre Margherita Napoli Timed tree automata with an application to temporal logic. 89-116 2001 38 Acta Inf. 2 http://link.springer.de/link/service/journals/00236/bibs/1038002/10380089.htm db/journals/acta/acta38.html#TorreN01