Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen.