Formale Modellierung von Komponenten und Abhängigkeiten zur Konfiguration von Product-Service Systems · Study