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