@ARTICLE{6101602, author={Heradio-Gil, R. and Fernandez-Amoros, D. and Cerrada, J.A. and Cerrada, C.}, journal={Software, IET}, title={Supporting commonality-based analysis of software product lines}, year={2011}, month={dec. }, volume={5}, number={6}, pages={496 -509}, keywords={SAT-solver;boolean logic satisfiability;classical FODA trees;commonality-based analysis;cost-effective approach;feature diagrams;feature-oriented domain analysis;scope flaws;software product line engineering;unrestricted cardinalities;Boolean algebra;computability;software engineering;}, doi={10.1049/iet-sen.2010.0022}, ISSN={1751-8806},}