@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},}