"Constraint automata with memory cells and their composition."

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