1. Merging cloned Alloy models with colorful refactorings;Liu,2020
2. Feature-Oriented Software Product Lines – Concepts and Implementation;Apel,2013
3. Feature integration using a feature construct;Plath;Sci. Comput. Program.,2001
4. Detecting dependences and interactions in feature-oriented design;Apel,2010
5. Model checking software product lines with SNIP;Classen;Int. J. Softw. Tools Technol. Transf.,2012