S. Apel, D. S. Batory, C. Kästner, and . Gunter-saake, Feature-Oriented Software Product Lines -Concepts and Implementation, 2013.

S. Apel, C. Kästner-&-christian, and . Lengauer, FEATUREHOUSE: Language-independent, automated software composition, 31st International Conference on Software Engineering, pp.221-231, 2009.

P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez et al., C&ESAR 2008, Computer Electronics Security Applications Rendezvous, pp.162-179, 2008.

B. Barth, G. Butler, K. Czarnecki, &. Ulrich, and W. Eisenecker, Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001.

P. Workshops and P. , Proceedings, Lecture Notes in Computer Science 2323, pp.135-149, 2001.

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, Software Product Lines, 9th International Conference, SPLC 2005, vol.3714, pp.7-20, 2005.

D. S. Batory, P. Höfner, and &. Kim, Feature interactions, products, and composition, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, pp.13-22, 2011.

D. S. Batory and J. N. Sarvela-&-axel-rauschmayer, Scaling Step-Wise Refinement, Proceedings of the 25th International Conference on Software Engineering, pp.187-197, 2003.

D. Benavides and P. Trinidad-&-antonio-ruiz-cortés, Automated Reasoning on Feature Models, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp.361-373, 2013.

R. Bonichon, D. Delahaye-&-damien, and . Doligez, Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs, 14th International Conference, vol.4790, pp.151-165, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00315920

B. Delaware, W. R. Cook-&-don, and S. Batory, Product lines of theorems, Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.595-608, 2011.

B. Delaware, S. Keuchel, T. Schrijvers, &. Bruno, C. et al., Modular monadic meta-theory, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, pp.319-330, 2013.

C. Marché and C. Paulin-mohring-&-xavier-urbain, The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML, J. Log. Algebr. Program, vol.58, issue.1-2, pp.89-106, 2004.

B. Meyer, Design by Contract, IEEE Computer, vol.25, issue.10, pp.40-51, 1992.

K. Pohl, G. Böckle, and &. Frank-van-der-linden, Software Product Line Engineering -Foundations, Principles, and Techniques, 2005.

T. Thüm, I. Schaefer, M. Kuhlemann, S. Apel, and . Gunter-saake, Applying Design by Contract to Feature-Oriented Programming, Fundamental Approaches to Software Engineering -15th International Conference, FASE 2012, vol.7212, pp.255-269, 2012.

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and . Gunter-saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Comput. Surv, vol.47, issue.1, p.6, 2014.

, Family-based deductive verification of software product lines, Generative Programming and Component Engineering, pp.11-20, 2012.

T. Thüm, I. Schaefer, and M. Kuhlemann-&-sven-apel, Proof Composition for Deductive Verification of Software Product Lines, Fourth International IEEE Conference on Software Testing, Verification and Validation, vol.2012, pp.270-277, 2011.