Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems - Puppis, Gabriele (Springer Berlin Heidelberg, 2010)