Krause, C. (2011) “Distributed Port Automata”, Electronic Communications of the EASST, 41. doi: 10.14279/tuj.eceasst.41.568.