Aktuell gibt es grosse neue Herausforderungen an die Hersteller von Automatisierungslosungen, um die vom Markt geforderte Flexibilitat gewahrleisten zu konnen. So mussen zum Einen Spezifikationstechniken entwickelt und angewendet werden, die der Komplexitat verteilter Systeme gerecht werden und nicht schon in der Phase der Spezifizierung fur erhohte Verwirrung sorgen. Zum Anderen mussen aber auch aktuelle Losungen fur die softwaretechnische Realisierung der Automatisierung nach und nach durch neuere, flexiblere Ansatze ersetzt werden. Die Moglichkeit der Verifizierbarkeit von Automatisierungslosungen sollte in diesem Kontext auch nicht ausser Acht gelassen werden. In den letzten Jahren haben sich hierzu verschiedene Technologien zum modellbasierten Steuerungsentwurf herausgebildet, auf welche in dieser Arbeit eingegangen wird. Diese Technologien werden methodisch miteinander verknupft, um eine glatte Ingenieursarbeit ohne Bruchstellen zu gewahrleisten. In dieser Arbeit wird speziell auf Vorgehensweisen zum verteilten Steuerungsentwurf eingegangen, die die Wiederverwendbarkeit von Steuerungskomponenten im Besonderen gewahrleisten.