Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems - Gabriele Puppis ((Lecture Notes in Computer Science))