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

Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Browse the full MODELS paper archive.