Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen.