Timed tree automata with an application to temporal logic.
scientific article; zbMATH DE number 1780838