Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems | DealShopping Deutschland