(1)
Krause, C. Distributed Port Automata.
ECEASST
2011
,
41
.