A. Dieumegard, A. Toom, and M. Pantel, Model-based formal specification of a DSL library for a qualified code generator, Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL '12, pp.61-62, 2012.
DOI : 10.1145/2428516.2428527

A. Dieumegard, A. Toom, and M. Pantel, Formal specification of block libraries in dataflow languages, Embedded Real-Time Software and Systems, ERTS2, 2014. [Online]. Available, pp.2014-2020

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, 1990.

J. Sun, H. Zhang, Y. Fang, and H. Wang, Formal semantics and verification for feature modeling, Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on, pp.303-312, 2005.

R. Gheyi, T. Massoni, and P. Borba, A theory for feature models in Alloy, In: Proceedings of the 1st Alloy Workshop, pp.71-80, 2006.

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

O. Haugen, B. Moller-pedersen, J. Oldevik, G. Olsen, and A. Svendsen, Adding Standardized Variability to Domain Specific Languages, 2008 12th International Software Product Line Conference, pp.139-148, 2008.
DOI : 10.1109/SPLC.2008.25

M. Voelter and E. Visser, Product Line Engineering Using Domain-Specific Languages, 2011 15th International Software Product Line Conference, pp.70-79, 2011.
DOI : 10.1109/SPLC.2011.25

O. Ocl-specification, Available: http://www.omg.org/spec/OCL/ [11] Blocklibrary repository

P. Schobbens, P. Heymans, J. Trigaux, 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

A. Iso-c-specification and . Language, Available: http://frama-c.com/download/acsl.pdf [14] Spark Ada GPL edition

J. B. Almeida, M. J. Frade, and J. S. Pinto, Rigorous software development : an introduction to program verification, 2011.
DOI : 10.1007/978-0-85729-018-2

F. Bobot, J. Filliâtre, C. Marché, and A. Paskevich, Why3: Shepherd Your Herd of Provers, Boogie 2011: First International Workshop on Intermediate Verification Languages, pp.53-64, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00790310

S. Sankaranarayanan, H. B. Sipma, and Z. Manna, Non-linear loop invariant generation using gröbner bases, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '04, pp.318-329, 2004.

S. Apel, C. Lengauer, B. Möller, and C. Kästner, An Algebra for Features and Feature Composition, Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, pp.36-50, 2008.
DOI : 10.1007/978-3-540-79980-1_4

D. Batory, Feature Models, Grammars, and Propositional Formulas, Proceedings of the 9th International Conference on Software Product Lines, ser. SPLC'05, pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092