N. Abbas, J. Andersson, and W. Löwe, Autonomic Software Product Lines (ASPL), Proceedings of the Fourth European Conference on Software Architecture Companion Volume, ECSA '10, pp.324-331, 2010.
DOI : 10.1145/1842752.1842812

M. Acher, P. Collet, P. Lahire, and R. France, A domain-specific language for managing feature models, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982473

S. Apel, W. Scholz, C. Lengauer, and C. Kastner, 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, H. Speidel, P. Wendler, A. Von-rhein, and D. Beyer, Detection of feature interactions using feature-aware verification, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.373-376, 2011.
DOI : 10.1109/ASE.2011.6100075

D. Batory, J. N. Sarvela, and A. Rauschmayer, Scaling step-wise refinement, Proceedings of the 25th International Conference on Software Engineering, ICSE '03, pp.187-197, 2003.

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

D. Clarke, M. Helvensteijn, and I. Schaefer, Abstract Delta Modeling, pp.13-22, 2010.

M. Clavreul, S. Mosser, M. Blay-fornarino, and R. France, Service???Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior, MODELS'11, pp.1-16, 2011.
DOI : 10.1007/978-3-540-45221-8_28
URL : https://hal.archives-ouvertes.fr/inria-00634943

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

F. Fleurey, B. Baudry, R. B. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, MoDELS Workshops, pp.7-15, 2007.
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

N. Gorse, L. Logrippo, and J. Sincennes, Formal Detection of Feature Interactions with Logic Programming and LOTOS. Software and System Modeling, pp.121-134, 2006.

R. Heckel, J. M. Küster, and G. Taentzer, Confluence of Typed Attributed Graph Transformation Systems, ICGT '02: Proceedings of the First International Conference on Graph Transformation, pp.161-176, 2002.
DOI : 10.1007/3-540-45832-8_14

A. Hubaux, P. Heymans, P. Schobbens, and D. Deridder, Towards Multi-view Feature-Based Configuration, Lecture Notes in Computer Science, vol.6182, pp.106-112, 2010.
DOI : 10.1007/978-3-642-14192-8_12

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

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

C. Kästner, S. Apel, S. S. Ur-rahman, M. Rosenmüller, D. Batory et al., On the Impact of the Optional Feature Problem: Analysis and Case Studies, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.181-190, 2009.

J. Liu, D. S. Batory, and S. Nedunuri, Modeling interactions in feature oriented software designs, pp.178-197, 2005.

B. Manfred, Multifunctional software systems: Structured modeling and specification of functional requirements, Science of Computer Programming, vol.75, issue.12, pp.1193-1214, 2010.

S. Mosser, Behavioral Compositions in Service-Oriented Architecture, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00531024

S. Mosser, F. Chauvel, M. Blay-fornarino, and M. , Web Services Composition: Mashups Driven Orchestration Definition, 2008 International Conference on Computational Intelligence for Modelling Control & Automation, pp.284-289, 2008.
DOI : 10.1109/CIMCA.2008.96

G. Mussbacher, J. Whittle, and D. Amyot, Semantic-Based Interaction Detection in Aspect-Oriented Scenarios, 2009 17th IEEE International Requirements Engineering Conference, pp.203-212, 2009.
DOI : 10.1109/RE.2009.13

R. Stoiber, S. Fricker, M. Jehle, and M. Glinz, Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines. Requirements Engineering, IEEE International Conference on, pp.403-404, 2010.
DOI : 10.1109/re.2010.59
URL : http://www.zora.uzh.ch/43233/1/Stoiber_FeatUnweavRefact_2010.pdf

T. Thüm, C. Kästner, S. Erdweg, and N. Siegmund, Abstract Features in Feature Modeling, 2011 15th International Software Product Line Conference, pp.191-200, 2011.
DOI : 10.1109/SPLC.2011.53

J. White, B. Dougherty, D. C. Schmidt, and D. Benavides, Automated Reasoning for Multi-step Feature Model Configuration Problems, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.11-20, 2009.