C. Krause, “Distributed Port Automata”, ECEASST, vol. 41, May 2011.