. Alférez, Multi-view Composition Language for Software Product Line Requirements, SLE, pp.103-122, 2009.
DOI : 10.1007/978-3-642-12107-4_8

. Apel, Type safety for feature-oriented product lines, Automated Software Engineering, vol.115, issue.1, pp.251-300, 2010.
DOI : 10.1007/s10515-010-0066-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.4205

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, SPLC, pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092

. Benavides, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

N. Clements, P. Clements, and L. Northrop, Software Product Lines: Practices and Patterns, 2002.

. Czarnecki, . Eisenecker, K. Czarnecki, and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

. Czarnecki, . Pietroszek, K. Czarnecki, and K. Pietroszek, Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.211-220, 2006.
DOI : 10.1145/1173706.1173738

. Delaware, Fitting the pieces together, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.243-252, 2009.
DOI : 10.1145/1595696.1595733

. Fernandes, An approach for feature modeling of context-aware software product line, J. UCS, vol.17, issue.5, pp.807-829, 2011.

. Gheyi, Automatically checking feature model refactorings, J. UCS, vol.17, issue.5, pp.684-711, 2011.

M. L. Griss, Implementing Product-Line Features by Composing Aspects, SPLC, pp.271-289, 2000.
DOI : 10.1007/978-1-4615-4339-8_15

. Kästner, C. Kästner, and S. Apel, Type-Checking Software Product Lines - A Formal Approach, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.258-267, 2008.
DOI : 10.1109/ASE.2008.36

R. E. Lopez-herrejon and A. Egyed, Detecting Inconsistencies in Multi-View Models with Variability, ECMFA, pp.217-232, 2010.
DOI : 10.1007/978-3-642-13595-8_18

M. Mannion, Using First-Order Logic for Product Line Model Validation, SPLC, pp.176-187, 2002.
DOI : 10.1007/3-540-45652-X_11

G. Morganho, H. Morganho, and . Gomes, Requirement specifications for industrial case studies, 2008.

. Sabouri, . Khosravi, H. Sabouri, and R. Khosravi, Modeling and verification of reconfigurable actor families, J. UCS, vol.19, issue.2, pp.207-232, 2013.

. Thaker, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007.
DOI : 10.1145/1289971.1289989

T. J. Young and T. J. Young, Using aspectj to build a software product line for mobile devices. msc dissertation, pp.1-6, 2005.

. Zschaler, VML* ??? A Family of Languages for Variability Management in Software Product Lines, SLE, pp.82-102, 2009.
DOI : 10.1007/978-3-642-12107-4_7