Title: Modellierung und Gewährleistung von Abhängigkeiten in Eisenbahnsicherungsanlagen