Consistent Graphical Specification of Distributed Systems. - Franz Huber; Bernhard Schätz; Geralf Einert (FME, 1997)