1. Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Coping with automatic reasoning on software product lines. In: Proceedings of the 2nd Groningen Workshop on Software Variability Management (November 2004)
2. Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Transactions on Software Engineering and Methodology 11(4), 386–426 (2002)
3. Bosch, J.: Design and Use of Software Architectures, 1st edn. Addison-Wesley, Reading (2000)
4. Bosch, J., Obbink, H.: Proceedings of the 2nd Groningen Workshop on Software Variability Management. Technical Report to be published, University of Groningen (November 2004)
5. Chastek, G., Donohoe, P., Kang, K.C., Thiel, S.: Product Line Analysis: A Practical Introduction. Technical Report CMU/SEI-2001-TR-001, Software Engineering Institute, Carnegie Mellon University (June 2001)