@BOOK{p09, author = {G. Puppis}, title = {Automata for Branching and Layered Temporal Structures}, year = {2009}, note = {Available at \url{http://www.labri.fr/perso/gpuppis/articles/FoLLI%20LNAI%20Monograph%202010.pdf}} }