1. Clements, P., Northrop, L.: Software product lines: practices and patterns. Addison-Wesley Longman Publishing, Amsterdam (2001)
2. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Soft. Proc. Improv. and Practice 10, 7–29 (2005)
3. Heymans, P., Schobbens, P., Trigaux, J., Bontemps, Y., Matulevicius, R., Classen, A.: Evaluating formal properties of feature diagram languages. IET Soft. 2(3), 281 (2008)
4. White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated Reasoning for Multi-step Software Product-line Configuration Problems. In: SPLC 2009 (2009)
5. Boskovic, M., Bagheri, E., Gasevic, D., Mohabbati, B., Kavinai, N., Hatala, M.: Automated Staged Configuration with Semantic Web Technologies. International Journal of Software Engineering and Knowledge Engineering (in press)