"Composing Constraint Automata, State-by-State."

Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics