Anwendung der deklarativen Analyse auf Softwareproduktlinienmodelle: Eine industrielle Studie