Download Automata For Branching And Layered Temporal Structures: An Investigation Into Regularities Of Infinite Transition Systems 2010