Applying Declarative Analysis to Software Product Line Models: An Industrial Study