M. Acher, P. Collet, P. Lahire, and R. B. France, Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.424-427, 2011.
DOI : 10.1109/ASE.2011.6100089

S. Apel, D. S. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.
DOI : 10.1007/978-3-642-37521-7

D. Batory, Feature Models, Grammars, and Propositional Formulas, Proceedings of International Software Product Line Conference (SPLC), pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://www.cs.utexas.edu/ftp/pub/techreports/tr05-14.pdf

D. Batory, J. N. Sarvela, and A. Rauschmayer, Scaling step-wise refinement, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.355-371, 2004.
DOI : 10.1109/TSE.2004.23
URL : http://www.cs.utexas.edu/ftp/pub/predator/TSE-AHEAD.pdf

L. Bettini, F. Damiani, and I. Schaefer, Compositional type checking of delta-oriented software product lines, Acta Informatica, vol.11, issue.2, pp.77-122, 2013.
DOI : 10.1007/978-3-540-24851-4_6

R. Bubel, F. Damiani, R. Hähnle, E. B. Johnsen, O. Owe et al., Proof repositories for compositional verification of evolving software systems -managing change when proving software correct, Transactions on Foundations for Mastering Change I, vol.1, pp.130-156, 2016.

P. Clements and L. Northrop, Software Product Lines: Practices & Patterns, 2001.

F. Damiani and M. Lienhardt, On Type Checking Delta-Oriented Product Lines, Integrated Formal Methods: 12th International Conference, pp.47-62, 2016.
DOI : 10.1145/2580950

F. Damiani and I. Schaefer, Family-based analysis of type safety for delta-oriented software product lines In Leveraging Applications of Formal Methods, Verification and Validation, Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Proceedings, Part I, pp.193-207, 2012.

F. Damiani, I. Schaefer, and T. Winkelmann, Delta-oriented multi software product lines, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.232-236, 2014.
DOI : 10.1145/2648511.2648536

R. Hähnle and I. Schaefer, A Liskov Principle for Delta-Oriented Programming In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, Proceedings , Part I, pp.32-46, 2012.

R. Hähnle, I. Schaefer, and R. Bubel, Reuse in software verification by abstract method calls, Proceedings of International Conference on Automated Deduction, CADE'13, pp.300-314

G. Holl, P. Grünbacher, and R. Rabiser, A systematic review and an expert survey on capabilities supporting multi product lines, Information and Software Technology, vol.54, issue.8, pp.828-852, 2012.
DOI : 10.1016/j.infsof.2012.02.002

A. Igarashi, B. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505
URL : http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Formal Methods for Components and Objects, pp.142-164
DOI : 10.2498/cit.2002.01.01
URL : http://www.ifi.uio.no/%7Eeinarj/Papers/johnsen10fmco.pdf

. Springer, DOI: 10, 2012.

C. Kästner, K. Ostermann, and S. Erdweg, A variability-aware module system, Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pp.773-792, 2012.

J. Koscielny, S. Holthusen, I. Schaefer, S. Schulze, L. Bettini et al., DeltaJ 1.5, Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools, PPPJ '14, pp.63-74, 2014.
DOI : 10.1145/2647508.2647512

M. Lienhardt and D. Clarke, Conflict detection in delta-oriented programming In Leveraging Applications of Formal Methods, Verification and Validation, Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Proceedings , Part I, pp.178-192

M. Rosenmüller, N. Siegmund, S. S. Ur-rahman, and C. Kästner, Modeling dependent software product lines, Proceedings of the GPCE Workshop on Modularization , Composition and Generative Techniques for Product Line Engineering (McGPLE), MIP-0802, pp.13-18, 2008.

I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Software Product Lines: Going Beyond, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6
URL : http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/SBB%2B%3ASPLC10.pdf

I. Schaefer and F. Damiani, Pure delta-oriented programming, Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD '10, pp.49-56
DOI : 10.1145/1868688.1868696

I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides et al., Software diversity: state of the art and perspectives, International Journal on Software Tools for Technology Transfer, vol.343, issue.3, pp.477-495, 2012.
DOI : 10.1016/j.tcs.2005.06.020
URL : https://hal.archives-ouvertes.fr/hal-00723754

R. Schröter, S. Krieter, T. Thüm, F. Benduhn, and G. Saake, Feature-model interfaces, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.667-678, 2016.
DOI : 10.1007/978-3-540-30482-1_16

R. Schröter, N. Siegmund, and T. Thüm, Towards modular analysis of multi product lines, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.96-99, 2013.
DOI : 10.1145/2499777.2500719

R. Schröter, N. Siegmund, T. Thüm, and G. Saake, Feature-context interfaces, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.102-111, 2014.
DOI : 10.1145/2648511.2648522

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, pp.1-6, 2014.
DOI : 10.1007/978-3-540-71437-8

T. Thüm, T. Winkelmann, R. Schröter, M. Hentschel, and S. Krüger, Variability hiding in contracts for dependent spls, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Va- MoS'16, pp.97-104, 2016.

A. Von-rhein, T. Thm, I. Schaefer, J. Liebig, and S. Apel, Variability encoding: From compile-time to load-time variability, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.1, pp.125-145, 2016.
DOI : 10.1016/j.jlamp.2015.06.007