Erkennung von Feature Interactions auf Nutzungsebene - Modellierung und Verifikation von Abhängigkeiten.