1. Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, and Gunter Saake. 2016. IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling. In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE). ACM, 144--155.
2. Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines. Springer.
3. Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Proceedings of the International Software Product Line Conference (SPLC). Springer, 7--20.
4. Don Batory, David Benavides, and Antonio Ruiz-Cortés. 2006. Automated Analyses of Feature Models: Challenges Ahead. Commun. ACM (2006).
5. David Benavides, Sergio Segura, and Antonio Ruiz-Cortés. 2010. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems 35, 6 (2010), 615--708.