Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems - Puppis, Gabriele (Lecture Notes in Computer Science,, 2010)