M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004

URL : https://hal.archives-ouvertes.fr/hal-00767175

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2012.

J. Bosch, Toward Compositional Software Product Lines, IEEE Software, vol.27, issue.3, pp.29-34, 2010.
DOI : 10.1109/MS.2010.32

T. V. Rosana, O. Braga, J. Trindade, R. L. Kalinka, J. Branco et al., Incorporating certification in feature modelling of an unmanned aerial vehicle product line, Proceedings of the 16th International Software Product Line Conference, pp.249-258, 2012.

T. Group, Melody advance system modeler: Pattern instantiation tool, soon to be opensourced, 2014.

A. Hubaux, M. Acher, P. Thein-than-tun, P. Heymans, P. Collet et al., Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, Domain Engineering, Product Lines, Languages, and Conceptual Models, pp.3-28, 2013.
DOI : 10.1007/978-3-642-36654-3_1

URL : https://hal.archives-ouvertes.fr/hal-00767213

A. Hubaux, P. Thein-than-tun, and . Heymans, Separation of concerns in feature diagram languages, ACM Computing Surveys, vol.45, issue.4, p.51, 2013.
DOI : 10.1145/2501654.2501665

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

N. Melexis, Triaxis product overview, 2013.

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

S. International, J2980 -Considerations for ISO 26262 ASIL Hazard Classification, 2011.

M. Schulze, J. Mauersberger, and D. Beuche, Functional safety and variability, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.236-243, 2013.
DOI : 10.1145/2491627.2491654

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, 2014.
DOI : 10.1145/2580950

W. Wolf and J. Staunstrup, Hardware/software co-design, Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No.99TH8454), 1997.
DOI : 10.1109/ASIC.1999.806550