M. Acher, P. Collet, P. Lahire, and R. France, Composing Feature Models, SLE. LNCS, pp.62-81
DOI : 10.1007/978-3-642-12107-4_6
URL : https://hal.archives-ouvertes.fr/hal-00415767

F. Ahmed and L. Capretz, Managing the business of software product line: An empirical investigation of key business factors, Information and Software Technology, vol.49, issue.2, pp.194-208, 2007.
DOI : 10.1016/j.infsof.2006.05.004

F. Ahmed, L. Capretz, and J. Samarabandu, Fuzzy inference system for software product family process evaluation, Information Sciences, vol.178, issue.13, pp.2780-2793, 2008.
DOI : 10.1016/j.ins.2008.03.002

F. Ahmed, L. Capretz, and S. Sheikh, Institutionalization of software product line: An empirical investigation of key organizational factors, Journal of Systems and Software, vol.80, issue.6, pp.836-849, 2007.
DOI : 10.1016/j.jss.2006.09.010

M. Ali, M. A. Babar, and K. Schmid, A Comparative Survey of Economic Models for Software Product Lines, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pp.275-278, 2009.
DOI : 10.1109/SEAA.2009.89

V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba et al., Refactoring product lines, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.201-210, 2006.
DOI : 10.1145/1173706.1173737

D. Ancona and E. Zucca, A theory of mixin modules: algebraic laws and reduction semantics, Mathematical Structures in Computer Science, vol.12, issue.06, pp.701-737, 2001.
DOI : 10.1017/S0960129502003687

D. Ancona, G. Lagorio, and E. Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems, vol.25, issue.5, pp.641-712, 2003.
DOI : 10.1145/937563.937567

C. Anderson, F. Barbanera, M. Dezani-ciancaglini, and S. Drossopoulou, Can Addresses be Types? (a case study: Objects with Delegation), pp.1-22, 2003.

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009.
DOI : 10.5381/jot.2009.8.5.c5

S. Apel, T. Leich, and G. Saake, Aspectual mixin layers, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.122-131, 2006.
DOI : 10.1145/1134285.1134304

S. Apel, C. Kästner, A. Größlinger, and C. Lengauer, 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

S. Apel, C. Kästner, and C. Lengauer, Feature featherweight java, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.101-112, 2008.
DOI : 10.1145/1449913.1449931

S. Apel, W. Scholz, C. Lengauer, and C. Kästner, Detecting Dependences and Interactions in Feature-Oriented Design, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.161-170, 2010.
DOI : 10.1109/ISSRE.2010.11

S. Apel, W. Scholz, C. Lengauer, and C. Kästner, Language-independent reference checking in software product lines, Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD '10, pp.65-71, 2010.
DOI : 10.1145/1868688.1868698

K. R. Apt, F. S. De-boer, and E. R. Olderog, Verification of Sequential and Concurrent Programs, Texts in Computer Science, 2009.

P. Asirelli, M. H. Ter-beek, A. Fantechi, and S. Gnesi, A Logical Framework to Deal with Variability, IFM. LNCS, pp.43-58, 2010.
DOI : 10.1016/j.jlap.2008.05.003
URL : https://hal.archives-ouvertes.fr/inria-00525109

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, A deontic logical framework for modelling product families, pp.37-44, 2010.

U. Aßmann, Invasive Software Composition, 2003.

C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger et al., Component-Based Product-Line Engineering with the UML, 2002.
DOI : 10.1007/3-540-46020-9_34

M. Babar, T. Ihme, and M. Pikkarainen, An industrial case of exploiting product line architectures in agile software development, pp.171-177, 2006.

P. G. Bassett, Framing software reuse: lessons from the real world, 1997.

D. Batory, Feature Models, Grammars, and Propositional Formulas, SPLC. LNCS, pp.7-20, 2005.
DOI : 10.1007/11554844_3

D. Batory, D. Benavides, and A. Ruiz-cortes, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, 2006.
DOI : 10.1145/1183236.1183264

D. Batory and E. Börger, Modularizing Theorems for Software Product Lines: The Jbook Case Study, Journal of Universal Computer Science, vol.14, issue.12, 2008.

D. S. Batory, J. N. Sarvela, and A. Rauschmayer, Scaling step-wise refinement, IEEE TSE, vol.30, issue.6, pp.355-371, 2004.

J. Bayer, O. Flege, P. Knauber, R. Laqua, D. Muthig et al., PuLSE, Proceedings of the 1999 symposium on Software reusability , SSR '99, pp.122-131, 1999.
DOI : 10.1145/303008.303063

B. Beckert and V. Klebanov, Proof reuse for deductive program verification, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.77-86, 2004.
DOI : 10.1109/SEFM.2004.1347505

D. Benavides, S. Segura, and A. Ruiz-cortes, 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

K. Berg, J. Bishop, and D. Muthig, Tracing software product line variability: From problem to solution space, In: SAICSIT. pp, pp.182-191, 2005.

L. Bettini, V. Bono, and B. Venneri, MOMI: a calculus for mobile mixins, Acta Informatica, vol.3, issue.1, pp.143-190, 2005.
DOI : 10.1007/s00236-005-0176-0

L. Bettini, V. Bono, and B. Venneri, Delegation by object composition, Science of Computer Programming, vol.76, issue.11, pp.992-1014, 2011.
DOI : 10.1016/j.scico.2010.04.006

L. Bettini, F. Damiani, I. Schaefer, . Sac, and . Track, Implementing software product lines using traits, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2096-2102, 2010.
DOI : 10.1145/1774088.1774530

C. Blundell, K. Fisler, S. Krishnamurthi, and P. V. Hentenryck, Parameterized interfaces for open system verification of product lines, pp.258-267, 2004.

J. Bosch, Design and Use of Software Architectures, Adopting and Evolving a Product Line Approach, 2000.

J. Bosch, Software product lines: organizational alternatives, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.91-100, 2001.
DOI : 10.1109/ICSE.2001.919084

G. Bracha and W. Cook, Mixin-based inheritance, ACM SIGPLAN Notices, vol.25, issue.10, pp.303-311, 1990.
DOI : 10.1145/97946.97982

V. Braun, T. Margaria, B. Steffen, H. Yoo, and T. Rychly, Safe service customization, IEEE Intelligent Network Workshop in '97. Proceedings. 'Meeting the Challenges of Converging Networks and Global Demand', p.4, 1997.
DOI : 10.1109/INW.1997.601576

M. Broy, Service-Oriented Systems Engineering: Modeling Services and Layered Architectures, FORTE. LNCS, pp.48-61, 2003.
DOI : 10.1145/361598.361623

D. Bruns, V. Klebanov, and I. Schaefer, Verification of Software Product Lines with Delta-Oriented Slicing, FoVeOOS. LNCS, 2010.
DOI : 10.1109/TSE.1984.5010248

R. Bubel, C. Din, and R. Hänle, Verification of variable software: an experience report, FoVeOOS. LNCS, 2010.

M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-marganiec, Feature interaction: a critical review and considered forecast, Computer Networks, vol.41, issue.1, pp.115-141, 2003.
DOI : 10.1016/S1389-1286(02)00352-3

M. Calder and A. Miller, Feature interaction detection by pairwise analysis of LTL properties???A case study, Formal Methods in System Design, vol.28, issue.3, pp.213-261, 2006.
DOI : 10.1007/s10703-006-0002-5

G. H. Campbell, J. Faulk, S. R. Weiss, and D. M. , Introduction to synthesis, Tech. rep., INTRO SYNTHE- SIS PROCESS-90019-N, Software Productivity Consortium, 1990.

F. Casati, S. Ceri, B. Pernici, and G. Pozzi, Workflow evolution, Data & Knowledge Engineering, vol.24, issue.3, pp.211-238, 1998.
DOI : 10.1016/S0169-023X(97)00033-5

C. Chambers, Object-oriented multi-methods in Cecil, ECOOP. LNCS, pp.33-56, 1992.
DOI : 10.1007/BFb0053029

L. Chen and M. A. Babar, A systematic review of evaluation of variability management approaches in software product lines, Information and Software Technology, vol.53, issue.4, pp.344-362, 2011.
DOI : 10.1016/j.infsof.2010.12.006

D. Clarke, M. Helvensteijn, and I. Schaefer, Abstract delta modeling, 2010.

D. Clarke and J. Proença, Towards a theory of views for feature models, 2010.

A. Classen, P. Heymans, and P. Y. Schobbens, What???s in a Feature: A Requirements Engineering Perspective, FASE. LNCS, pp.16-30, 2008.
DOI : 10.1007/978-3-540-78743-3_2

A. Classen, P. Heymans, P. Y. Schobbens, A. Legay, and J. F. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1806799.1806850

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, SEI Series in Software Engineering, 2001.

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006.
DOI : 10.1145/1147249.1147257

A. Colyer and A. Clement, Large-scale AOSD for middleware, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.56-65, 2004.
DOI : 10.1145/976270.976279

K. Czarnecki, Variability modeling: State of the art and future directions, 2010.

K. Czarnecki and M. Antkiewicz, Mapping Features to Models: A Template Approach Based on Superimposed Variants, pp.422-437, 2005.
DOI : 10.1007/11561347_28

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

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9891

S. Deelstra, M. Sinnema, and J. Bosch, Product derivation in software product families: a case study, Journal of Systems and Software, vol.74, issue.2, pp.173-194, 2005.
DOI : 10.1016/j.jss.2003.11.012

B. Delaware, W. R. Cook, and D. S. Batory, 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

G. Deng, J. Gray, D. Schmidt, Y. Lin, A. Gokhale et al., Evolution in model-driven software productline architectures, Designing Software-intensive Systems, pp.1280-1312, 2008.

A. Van-deursen, E. Visser, and J. Warmer, Model-driven software evolution: A research agenda, pp.41-49, 2007.

D. Dhungana, P. Grünbacher, and R. Rabiser, The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study, Automated Software Engineering, vol.80, issue.8, pp.77-114, 2011.
DOI : 10.1007/s10515-010-0076-6

D. Dhungana, P. Grünbacher, R. Rabiser, and T. Neumayer, Structuring the modeling space and supporting evolution in software product line engineering, Journal of Systems and Software, vol.83, issue.7, pp.1108-1122, 2010.
DOI : 10.1016/j.jss.2010.02.018

D. Dhungana, T. Neumayer, P. Grünbacher, and R. Rabiser, Supporting Evolution in Model-Based Product Line Engineering, 2008 12th International Software Product Line Conference, p.SPLC, 2008.
DOI : 10.1109/SPLC.2008.26

D. Souza, D. Gopinathan, and M. , Conflict-tolerant features, CAV. LNCS, pp.227-239, 2008.

S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. P. Black, Traits, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.331-388, 2006.
DOI : 10.1145/1119479.1119483
URL : https://hal.archives-ouvertes.fr/inria-00403568

G. Engels, R. Heckel, J. Küster, and L. Groenewegen, Consistency-Preserving Model Evolution through Transformations, UML Int. Conf. LNCS, pp.212-226, 2002.
DOI : 10.1007/3-540-45800-X_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7090

A. Fantechi and S. Gnesi, Formal Modeling for Product Families Engineering, 2008 12th International Software Product Line Conference, 2008.
DOI : 10.1109/SPLC.2008.45

A. Fantechi and S. Gnesi, A behavioural model for product families, pp.521-524, 2007.

R. Findler and M. Flatt, Modular Object-Oriented Programming with Units and Mixins, pp.94-104, 1998.

D. Fischbein, S. Uchitel, and V. A. Braberman, A foundation for behavioural conformance in software product line architectures, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.39-48, 2006.
DOI : 10.1145/1147249.1147254

K. Fisher and J. C. Mitchell, A delegation-based object calculus with subtyping, FCT. LNCS, pp.42-61, 1995.
DOI : 10.1007/3-540-60249-6_40

K. Fisler, S. Krishnamurthi, . Esec, . Sig-soft, and . Fse, Modular verification of collaboration-based software designs, pp.152-163, 2001.

K. Fisler and S. Krishnamurthi, Decomposing Verification Around End-User Features, VSTTE. LNCS, pp.74-81, 2005.
DOI : 10.1145/937563.937567

K. Fisler and B. Roberts, A case study in using ACL2 for feature-oriented verification, Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 '04), 2004.

M. Flatt, S. Krishnamurthi, and M. Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.171-183, 1998.
DOI : 10.1145/268946.268961

M. Fowler and R. Parsons, Domain-specific languages, 2011.

D. Ganesan, D. Muthig, J. Knodel, and K. Yoshimura, Discovering Organizational Aspects from the Source Code History Log during the Product Line Planning Phase--A Case Study, 2006 13th Working Conference on Reverse Engineering, pp.211-220, 2006.
DOI : 10.1109/WCRE.2006.24

D. Ganesan, D. Muthig, and K. Yoshimura, Predicting Return-on-Investment for Product Line Generations, 10th International Software Product Line Conference (SPLC'06), pp.13-24, 2006.
DOI : 10.1109/SPLINE.2006.1691573

D. Garlan, J. Barnes, B. Schmerl, and O. Celiku, Evolution styles: Foundations and tool support for software architecture evolution, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.131-140, 2009.
DOI : 10.1109/WICSA.2009.5290799

R. Gheyi, T. Massoni, and P. Borba, A theory for feature models in Alloy, pp.71-80, 2006.

R. Gheyi, T. Massoni, and P. Borba, Algebraic laws for feature models, J. UCS, vol.14, issue.21, pp.3573-3591, 2008.

I. Goldstein and D. Bobrow, Extending object oriented programming in Smalltalk, Proceedings of the 1980 ACM conference on LISP and functional programming , LFP '80, pp.75-81, 1980.
DOI : 10.1145/800087.802792

H. Gomaa, Designing Software Product Lines with UML, 29th Annual IEEE/NASA Software Engineering Workshop, Tutorial Notes (SEW'05), 2005.
DOI : 10.1109/SEW.2005.5

J. Greenfield and K. Short, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004.
DOI : 10.1145/949344.949348

A. Gruler, M. Leucker, and K. D. Scheidemann, Modeling and Model Checking Software Product Lines, FMOODS. LNCS, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8

D. P. Guelev, M. D. Ryan, and P. Y. Schobbens, Modelchecking the preservation of temporal properties upon feature integration, pp.53-62, 2007.

A. Haber, H. Rendel, B. Rumpe, I. Schaefer, and F. Van-der-linden, Hierarchical Variability Modeling for Software Architectures, 2011 15th International Software Product Line Conference, p.SPLC, 2011.
DOI : 10.1109/SPLC.2011.28

G. Hanssen and T. Faegri, Process fusion: An industrial case study on agile software product line engineering, Journal of Systems and Software, vol.81, issue.6, 2008.
DOI : 10.1016/j.jss.2007.10.025

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, 2000.

A. Harhurin and J. Hartmann, Towards Consistent Specifications of Product Families, FM. LNCS, pp.390-405, 2008.
DOI : 10.1007/978-3-540-68237-0_27

O. Haugen, B. Moller-pedersen, J. Oldevik, G. Olsen, A. Svendsen et al., Adding standardized variability to domain specific languages FeatureMapper: mapping features to models, In: SPLC. pp. IEEE, vol.103, pp.139-148, 2008.

F. Heidenreich and C. Wende, Bridging the Gap Between Features and Models, In: Aspect-Oriented Product Line Engineering, 2007.

F. Heidenreich, Towards systematic ensuring wellformedness of software product lines In: Workshop on Feature-Oriented Software Development, pp.69-74, 2009.

W. Heider, R. Rabiser, D. Dhungana, and P. Grünbacher, Tracking evolution in model-based product lines, Software Engineering Institute, pp.59-63, 2009.

W. Heider, R. Rabiser, and P. Grünbacher, Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions, International Journal on Software Tools for Technology Transfer, vol.11, issue.6, 2012.
DOI : 10.1007/s10009-012-0229-y

S. A. Hendrickson and A. Van-der-hoek, Modeling Product Line Architectures through Change Sets and Relationships, 29th International Conference on Software Engineering (ICSE'07), p.ICSE, 2007.
DOI : 10.1109/ICSE.2007.56

M. Herrmannsdoerfer, S. Benz, and E. Juergens, COPE - Automating Coupled Evolution of Metamodels and Models, pp.52-76, 2009.
DOI : 10.1016/j.entcs.2005.10.021

W. Hetrick, C. Krueger, and J. Moore, Incremental return on incremental investment, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.798-804, 2006.
DOI : 10.1145/1176617.1176726

P. Heymans, Q. Boucher, A. Classen, A. Bourdoux, and L. Demonceau, A code tagging approach to software product line development, International Journal on Software Tools for Technology Transfer, vol.11, issue.2, 2012.
DOI : 10.1007/s10009-012-0242-1
URL : https://hal.archives-ouvertes.fr/hal-00718296

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, pp.125-151, 2008.
DOI : 10.5381/jot.2008.7.3.a4

T. Hirschowitz and X. Leroy, Mixin modules in a call-byvalue setting, ESOP. LNCS, pp.6-20, 2002.

P. Höfner, R. Khédri, and B. Möller, Algebraic view reconciliation, pp.149-158, 2008.

P. K. Jayaraman, J. Whittle, A. M. Elkhodary, and H. Gomaa, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, MoD- ELS, pp.151-165, 2007.
DOI : 10.1007/978-3-540-75209-7_11

I. John, J. Knodel, and T. Schulz, Applied Software Product Line Engineering, chap. Efficient Scoping with CaVE: A Case Study, pp.421-445, 2010.

B. Jonsson, T. Margaria, G. Naeser, J. Nyström, and B. Steffen, Incremental requirement specification for evolving systems, Nordic J. of Computing, vol.8, pp.65-87, 2001.

S. Jörges, Genesys: A Model-Driven and Service- Oriented Approach to the Construction and Evolution of Code Generators, 2011.

S. Jörges, A. L. Lamprecht, T. Margaria, I. Schaefer, and B. Steffen, A constraint-based variability modeling framework, International Journal on Software Tools for Technology Transfer, vol.9, issue.Suppl 4, 2012.
DOI : 10.1007/s10009-012-0254-x

S. Jörges, T. Margaria, and B. Steffen, Genesys: service-oriented construction of property conform code generators, Innovations in Systems and Software Engineering, vol.10, issue.2, pp.361-384, 2008.
DOI : 10.1007/s11334-008-0071-2

T. Kahsai, M. Roggenbach, and B. H. Schlingloff, Specification-based testing for software product lines, In: SEFM. pp, pp.149-158, 2008.

K. C. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, Feature-Oriented domain analysis (FODA) feasibility study, 1990.

S. Kang, J. Lee, M. Kim, and W. Lee, Towards a Formal Framework for Product Line Test Development, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), pp.921-926, 2007.
DOI : 10.1109/CIT.2007.40

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

C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. S. Batory, Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach, pp.175-194, 2009.
DOI : 10.1145/979743.979766

M. Kaufmann, J. S. Moore, and P. Manolios, Computer- Aided Reasoning: An Approach, 2000.

D. O. Keck and P. J. Kühn, The feature and service interaction problem in telecommunications systems: a survey, IEEE Transactions on Software Engineering, vol.24, issue.10, pp.779-796, 1998.
DOI : 10.1109/32.729680

S. Kelly and J. P. Tolvanen, Domain-Specific Modeling: Enabling Full Code Generation, 2008.
DOI : 10.1002/9780470249260

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-Oriented Programming, LNCS, vol.1241, pp.220-242, 1997.

C. Kim, D. Batory, and S. Khurshid, Reducing combinatorics in testing product lines, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, p.AOSD, 2011.
DOI : 10.1145/1960275.1960284

T. Kishi and N. Noda, Formal verification and software product lines, Communications of the ACM, vol.49, issue.12, pp.73-77, 2006.
DOI : 10.1145/1183236.1183270

G. Kniesel, Type-Safe Delegation for Run-Time Component Adaptation, ECOOP. LNCS, pp.351-366, 1999.
DOI : 10.1007/3-540-48743-3_16

S. Krishnamurthi, K. Fisler, and M. Greenberg, Verifying aspect advice modularly, SIGSOFT FSE, pp.137-146, 2004.

C. Krueger, New methods in software product line practice, Communications of the ACM, vol.49, issue.12, pp.37-40, 2006.
DOI : 10.1145/1183236.1183262

C. Kubczak, S. Jörges, T. Margaria, and B. Steffen, eXtreme Model-Driven Design with jABC, CTIT Proc. of the Tools and Consultancy Track of the Fifth European Conference on Model-Driven Architecture Foundations and Applications, pp.9-12, 2009.

M. Kuhlemann, D. S. Batory, and C. Kästner, Safe composition of non-monotonic features, pp.177-186, 2009.

B. P. Lamancha, M. P. Usaola, and M. P. Velthius, Systematic Review on Software Product Line Testing, pp.23-30, 2009.
DOI : 10.1007/978-3-642-29578-2_4

A. L. Lamprecht, T. Margaria, I. Schaefer, and B. Steffen, Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows, 1st International Workshop on Eternal Systems (EternalS'11). Communications in Computer and Information Science (CCIS), 2011.
DOI : 10.1007/978-3-642-02408-5_2

A. Lamprecht, T. Margaria, and B. Steffen, Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI, Bioinformatics Research and Applications. LNBI, vol.4983, p.445456, 2008.
DOI : 10.1007/978-3-540-79450-9_42

A. L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, Synthesis-Based Loose Programming, 2010 Seventh International Conference on the Quality of Information and Communications Technology, 2010.
DOI : 10.1109/QUATIC.2010.53

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, ESOP. LNCS, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

K. G. Larsen, U. Nyman, and A. Wasowski, Modeling software product lines using color-blind transition systems, International Journal on Software Tools for Technology Transfer, vol.17, issue.3, pp.5-6, 2007.
DOI : 10.1007/s10009-007-0046-x

K. G. Larsen and B. Thomsen, A modal process logic, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, pp.203-210, 1988.
DOI : 10.1109/LICS.1988.5119

K. Lauenroth, K. Pohl, and S. Toehning, Model Checking of Domain Artifacts in Product Line Engineering, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.269-280, 2009.
DOI : 10.1109/ASE.2009.16

M. Lehman, Programs, life cycles, and laws of software evolution, IEEE Information Processing Letters, vol.68, issue.9, pp.1060-1076, 1980.

B. Lerner, A model for compound type changes encountered in schema evolution, ACM Transactions on Database Systems, vol.25, issue.1, pp.83-127, 2000.
DOI : 10.1145/352958.352983

H. C. Li, K. Fisler, and S. Krishnamurthi, The Influence of Software Module Systems on Modular Verification, SPIN. LNCS, pp.60-78, 2002.
DOI : 10.1007/3-540-46017-9_7

H. C. Li, S. Krishnamurthi, and K. Fisler, Interfaces for modular feature verification, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.195-204, 2002.
DOI : 10.1109/ASE.2002.1115013

H. C. Li, S. Krishnamurthi, and K. Fisler, Verifying crosscutting features as open systems, SIGSOFT FSE, pp.89-98, 2002.

H. C. Li, S. Krishnamurthi, and K. Fisler, Modular Verification of Open Features Using Three-Valued Model Checking, Automated Software Engineering, vol.15, issue.12, pp.349-382, 2005.
DOI : 10.1007/s10515-005-2643-9

F. Van-der-linden, Software product families in Europe: the Esaps & Cafe projects, IEEE Software, vol.19, issue.4, pp.41-49, 2002.
DOI : 10.1109/MS.2002.1020286

F. Van-der-linden, J. Bosch, E. Kamsties, K. Känsälä, and H. Obbink, Software product family evaluation, pp.110-129, 2004.

J. Liu, S. Basu, and R. R. Lutz, Compositional model checking of software product lines using variation point obligations, Automated Software Engineering, vol.26, issue.8, pp.39-76, 2011.
DOI : 10.1007/s10515-010-0075-7

R. Lopez-herrejon, D. Batory, and W. Cook, Evaluating Support for Features in Advanced Modularization Technologies, LNCS, vol.3586, pp.169-194, 2005.
DOI : 10.1007/11531142_8

N. Loughran, P. Sánchez, A. Garcia, and L. Fuentes, Language Support for Managing Variability in Architectural Models, Software Composition, 2008.
DOI : 10.1007/978-3-540-78789-1_3

M. Krsek, J. Van-zyl, R. R. Clohesy, and B. , Experiences of Large Banks: Hurdles and Enablers to the Adoption of Software Product Line Practices in Large Corporate Organisations, 2008 12th International Software Product Line Conference, pp.161-169, 2008.
DOI : 10.1109/SPLC.2008.43

T. Margaria and B. Steffen, Business Process Modelling in the jABC: The One-Thing-Approach, Handbook of Research on Business Process Modeling, 2009.

T. Margaria and B. Steffen, Continuous Model-Driven Engineering, Computer, vol.42, issue.10, pp.106-109, 2009.
DOI : 10.1109/MC.2009.315

T. Margaria, B. Steffen, and C. Kubczak, Evolution support in heterogeneous service-oriented landscapes, Journal of the Brazilian Computer Society, vol.40, issue.11, pp.35-47, 2010.
DOI : 10.1007/s13173-010-0004-4

T. Margaria, B. Steffen, and M. Reitenspieß, Service-Oriented Design: The Roots, pp.450-464, 2005.
DOI : 10.1007/11596141_34

M. Mattsson and J. Bosch, Frameworks as components: a classification of framework evolution, Nordic Workshop on Programming Environment Research, pp.63-174, 1998.

J. Mcgregor, The evolution of product line assets. Tech. rep, 2003.

J. D. Mcgregor, Testing a Software Product Line, PSSE. LNCS, pp.104-140, 2007.
DOI : 10.1007/978-3-642-14335-9_4

A. Mcveigh, J. Kramer, and J. Magee, Using resemblance to support component reuse and evolution, Proceedings of the 2006 conference on Specification and verification of component-based systems , SAVCBS '06, pp.49-56, 2006.
DOI : 10.1145/1181195.1181206

T. Mende, F. Beckwermert, R. Koschke, and G. Meier, Supporting the Grow-and-Prune Model in Software Product Lines Evolution Using Clone Detection, 2008 12th European Conference on Software Maintenance and Reengineering, pp.163-172, 2008.
DOI : 10.1109/CSMR.2008.4493311

T. Mens and T. D-'hondt, Automating support for software evolution in UML, Automated Software Engineering, vol.7, issue.1, pp.39-59, 2000.
DOI : 10.1023/A:1008765200695

T. Mens, M. Wermelinger, S. Ducasse, S. Demeyer, R. Hirschfeld et al., Challenges in Software Evolution, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), pp.13-22, 2005.
DOI : 10.1109/IWPSE.2005.7

A. Metzger, P. Heymans, K. Pohl, P. Y. Schobbens, and G. Saval, Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007.
DOI : 10.1109/RE.2007.61

L. Mikhajlov and E. Sekerinski, A study of the fragile base class problem, LNCS, vol.1445, pp.355-383, 1998.
DOI : 10.1007/BFb0054099

K. Mohan, B. Ramesh, and V. Sugumaran, Integrating Software Product Line Engineering and Agile Development, IEEE Software, vol.27, issue.3, pp.48-55, 2010.
DOI : 10.1109/MS.2010.31

H. Muccini and A. Van-der-hoek, Towards Testing Product Line Architectures, Electronic Notes in Theoretical Computer Science, vol.82, issue.6, 2003.
DOI : 10.1016/S1571-0661(04)81029-6

M. Müller-olm, B. Steffen, and R. Cleaveland, On the Evolution of Reactive Components, Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering, pp.161-17599, 1999.
DOI : 10.1007/978-3-540-49020-3_11

R. Muschevici, D. Clarke, and J. Proença, Feature Petri nets, 2010.

S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007.
DOI : 10.1109/ICSE.2007.50

N. Noda and T. Kishi, Aspect-Oriented Modeling for Variability Management, 2008 12th International Software Product Line Conference, p.SPLC, 2008.
DOI : 10.1109/SPLC.2008.44

N. Noda and T. Kishi, Design verification tool for product line development, pp.147-148, 2007.

M. A. Noor, R. Rabiser, and P. Grünbacher, Agile product line planning: A collaborative approach and a case study, Journal of Systems and Software, vol.81, issue.6, pp.868-882, 2008.
DOI : 10.1016/j.jss.2007.10.028

B. Nuseibeh, S. Easterbrook, and A. Russo, Making inconsistency respectable in software development, Journal of Systems and Software, vol.58, issue.2, pp.171-180, 2001.
DOI : 10.1016/S0164-1212(01)00036-X

U. Nyman, Modal Transition Systems as the Basis for Interface Theories and Product Lines, 2008.

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699

S. Oster, F. Markert, and P. Ritter, Automated Incremental Pairwise Testing of Software Product Lines, pp.196-210, 2010.
DOI : 10.1007/978-3-642-15579-6_14

P. Padmanabhan and R. R. Lutz, Tool-Supported Verification of Product Line Requirements, Automated Software Engineering, vol.66, issue.12, pp.447-465, 2005.
DOI : 10.1007/s10515-005-2648-4

J. Pérez, J. Díaz, C. C. Soria, and J. Garbajosa, Plastic Partial Components: A solution to support variability in architectural components, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, 2009.
DOI : 10.1109/WICSA.2009.5290808

M. Plath and M. D. Ryan, Plug-and-play features, pp.150-164, 1998.

A. Pleuss and G. Botterweck, Visualization of variability and configuration options, International Journal on Software Tools for Technology Transfer, vol.11, issue.3, 2012.
DOI : 10.1007/s10009-012-0252-z

K. Pohl and A. Metzger, Software product line testing, Communications of the ACM, vol.49, issue.12, pp.78-81, 2006.
DOI : 10.1145/1183236.1183271

M. Poppleton, Towards Feature-Oriented Specification and Development with Event-B, pp.367-381, 2007.
DOI : 10.1007/978-3-540-73031-6_28

H. Post and C. Sinz, Configuration Lifting: Verification meets Software Configuration, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.347-350, 2008.
DOI : 10.1109/ASE.2008.45

C. Prehofer, Plug-and-play composition of features and feature interactions with statechart diagrams, Software & Systems Modeling, vol.8, issue.3, pp.221-234, 2004.
DOI : 10.1145/97946.97982

R. Rabiser, P. Grünbacher, and D. Dhungana, Supporting Product Derivation by Adapting and Augmenting Variability Models, 11th International Software Product Line Conference (SPLC 2007), pp.141-150, 2007.
DOI : 10.1109/SPLINE.2007.22

R. Rabiser, P. O-'leary, and I. Richardson, Key activities for product derivation in software product lines, Journal of Systems and Software, vol.84, issue.2, pp.285-300, 2011.
DOI : 10.1016/j.jss.2010.09.042

T. K. Satyananda, D. Lee, and S. Kang, Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line, International Conference on Software Engineering Advances (ICSEA 2007), p.10, 2007.
DOI : 10.1109/ICSEA.2007.33

I. Schaefer, L. Bettini, G. Botterweck, D. Clarke, C. Costanza et al., Survey on diversity awareness and management, Tech. rep., Deliverable 2.1 of the EternalS Coordination Action, pp.7-247758, 2011.

I. Schaefer, L. Bettini, and F. Damiani, Compositional type-checking for delta-oriented programming, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, 2011.
DOI : 10.1145/1960275.1960283

I. Schaefer, A. Worret, and A. Poetzsch-heffter, A Model- Based Framework for Automated Product Derivation, p.MAPLE, 2009.

I. Schaefer, Variability modelling for model-driven development of software product lines, VaMoS. pp, pp.85-92, 2010.

I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, SPLC. LNCS, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6

I. Schaefer, A. L. Lamprecht, and T. Margaria, Constraintoriented Variability Modeling, 34th Annual IEEE Software Engineering Workshop (SEW-34, 2011.

K. Schmid and I. John, A customizable approach to full lifecycle variability management, Science of Computer Programming, vol.53, issue.3, pp.259-284, 2004.
DOI : 10.1016/j.scico.2003.04.002

K. Schmid, I. John, R. Kolb, and G. Meier, Introducing the PuLSE approach to an embedded system population at testo ag, pp.544-552, 2005.

K. Schmid, R. Rabiser, and P. Grünbacher, A comparison of decision modeling approaches in product lines, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.119-126, 2011.
DOI : 10.1145/1944892.1944907

P. Schobbens, J. Trigaux, P. Heymans, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

P. Y. Schobbens, P. Heymans, J. C. Trigaux, and Y. Bontemps, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.139-148, 2006.
DOI : 10.1109/RE.2006.23

S. Segura, D. Benavides, A. R. Cortés, and P. Trinidad, Automated Merging of Feature Models Using Graph Transformations, GTTSE. LNCS, pp.489-505, 2007.
DOI : 10.1007/978-3-540-88643-3_15

M. Sinnema and S. Deelstra, Classifying variability modeling techniques, Information and Software Technology, vol.49, issue.7, pp.717-739, 2006.
DOI : 10.1016/j.infsof.2006.08.001

Y. Smaragdakis and D. Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.215-255, 2002.
DOI : 10.1145/505145.505148

R. Smith and D. Ungar, A simple and unifying approach to subjective objects, Theory and Practice of Object Systems, vol.2, issue.3, pp.161-178, 1996.
DOI : 10.1002/(SICI)1096-9942(1996)2:3<161::AID-TAPO3>3.0.CO;2-Z

B. Steffen, T. Margaria, V. Braun, and N. Kalt, Hierarchical Service Definition, Annual Review of Communications of the ACM, vol.51, pp.847-856, 1997.

B. Steffen, T. Margaria, and V. Braun, Coarse-granular model checking in practice, Proceedings of the 8th international SPIN workshop on Model checking of software, pp.304-31101, 2001.
DOI : 10.1007/3-540-45139-0_20

B. Steffen, T. Margaria, R. Nagel, S. Jörges, and C. Kubczak, Model-Driven Development with the jABC, Hardware and Software, Verification and Testing, pp.92-108, 2007.
DOI : 10.1007/978-3-540-70889-6_7

M. Svahnberg and J. Bosch, Evolution in software product lines: two cases, Journal of Software Maintenance: Research and Practice, vol.11, issue.6, pp.391-422, 1999.
DOI : 10.1002/(SICI)1096-908X(199911/12)11:6<391::AID-SMR199>3.0.CO;2-8

A. Taivalsaari, On the notion of inheritance, ACM Computing Surveys, vol.28, issue.3, pp.438-479, 1996.
DOI : 10.1145/243439.243441

R. Tartler, J. Sincero, C. Dietrich, W. Schröder-preikschat, and D. Lohmann, Revealing and repairing configuration inconsistencies in large-scale system software, International Journal on Software Tools for Technology Transfer, vol.5, issue.2, 2012.
DOI : 10.1007/s10009-012-0225-2

S. Thaker, D. S. Batory, D. Kitchin, and W. R. Cook, 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

N. T. Thang, Incremental Verification of Consistency in Feature-Oriented Software, Japan Advanced Institute of Science and Technology, 2005.

T. Thüm, D. S. Batory, and C. Kästner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009.
DOI : 10.1109/ICSE.2009.5070526

S. Trujillo, D. Batory, and O. Diaz, Feature Oriented Model Driven Development: A Case Study for Portlets, 29th International Conference on Software Engineering (ICSE'07), pp.44-53, 2007.
DOI : 10.1109/ICSE.2007.36

D. Ungar and R. B. Smith, Self: The power of simplicity, ACM SIGPLAN Notices, vol.22, issue.12, pp.227-242, 1987.
DOI : 10.1145/38807.38828

E. Uzuncaova, S. Khurshid, and D. S. Batory, Incremental Test Generation for Software Product Lines, IEEE Transactions on Software Engineering, vol.36, issue.3, pp.309-322, 2010.
DOI : 10.1109/TSE.2010.30

M. Van-limberghen and T. Mens, Encapsulation and Composition as Orthogonal Operators on Mixins: a Solution to Multiple Inheritance Problems, Object Oriented Systems, vol.3, issue.1, pp.1-30, 1996.

J. Viega, B. Tutt, and R. Behrends, Automated Delegation is a Viable Alternative to Multiple Inheritance in Class Based Languages, 1998.

M. Völter and I. Groher, Product Line Implementation using Aspect-Oriented and Model-Driven Software Development, 11th International Software Product Line Conference (SPLC 2007), pp.233-242, 2007.
DOI : 10.1109/SPLINE.2007.23

H. Wehrheim, Slicing techniques for verification re-use, Theoretical Computer Science, vol.343, issue.3, pp.509-528, 2005.
DOI : 10.1016/j.tcs.2005.06.020
URL : http://doi.org/10.1016/j.tcs.2005.06.020

P. Y. Wong, E. Albert, R. Muschevici, J. Proenca, J. Schäfer et al., The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems, International Journal on Software Tools for Technology Transfer, vol.44, issue.2, 2012.
DOI : 10.1007/s10009-012-0250-1

K. Yoshimura, D. Ganesan, and D. Muthig, Defining a strategy to introduce a software product line using existing embedded systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.63-72, 2006.
DOI : 10.1145/1176887.1176897

T. Ziadi, L. Hélouët, and J. M. Jézéquel, Towards a UML Profile for Software Product Lines, Workshop on Product Familiy Engineering, pp.129-139, 2003.
DOI : 10.1007/978-3-540-24667-1_10
URL : https://hal.archives-ouvertes.fr/hal-00794817