Werkzeugkette für den Entwurf verteilter Systeme