"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