Automata for branching and layered temporal structures : An investigation into regularities of infinite transition systems (2010)