J. Abrial, The B-book: Assigning Programs to Meanings, 1996.

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

P. S. Alencar, D. D. Cowan, and C. J. Lucena, A formal approach to architectural design patterns, FME 1996, vol.1051, pp.576-594, 1996.

,

P. A. Abdulla, J. Deneux, G. St?almarck, H. Å-gren, and O. Kerlund, Designing safe, reliable systems using scade, ISoLA 2004, vol.4313, pp.115-129, 2006.

F. Arbab, Reo: a channel-based coordination model for component composition, Math. Struct. Comput. Sci, vol.14, issue.3, pp.329-366, 2004.

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the BIP framework, IEEE Softw, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

S. Blazy and X. Leroy, Mechanized semantics for the clight subset of the C language, J. Autom. Reason, vol.43, issue.3, pp.263-288, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00352524

R. S. Carson, Implementing structured requirements to improve requirements quality, INCOSE International Symposium, vol.25, pp.54-67, 2015.

J. O. Coplien, Software Patterns. SIGS Management Briefings. SIGS books & multimedia, 1996.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the ICSE' 99, pp.411-420, 1999.

J. Dong, P. S. Alencar, D. D. Cowan, and S. Yang, Composing pattern-based components and verifying correctness, J. Syst. Softw, vol.80, issue.11, pp.1755-1769, 2007.

K. Damchoom, M. Butler, and J. Abrial, Modelling and proof of a tree-structured file system in event-b and rodin, ICFEM 2008, vol.5256, pp.25-44, 2008.

E. Denney, G. Pai, and I. Whiteside, Model-driven development of safety architectures, 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.156-166, 2017.

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL -An Introduction to the SAE Architecture Analysis and Design Language. SEI Series in Software Engineering, 2012.

T. S. Hoang, A. Fürst, and J. Abrial, Event-B patterns and their tool support, Softw. Syst. Model, vol.12, issue.2, pp.229-244, 2013.

U. Heinkel, W. Glauert, and M. Wahl, The VHDL Reference: A Practical Guide to Computer-Aided Integrated Circuit Design (Including VHDL-AMS) with Other, 2000.

A. Iliasov, E. Troubitsyna, L. Laibinis, and A. Romanovsky, Patterns for refine-ment automation, FMCO 2009, vol.6286, pp.70-88, 2010.

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

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

D. Marmsoler and S. Degenhardt, Verifying patterns of dynamic architectures using model checking, Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, vol.245, pp.16-30, 2017.

. Omg and . Omg, Systems Modeling Language (OMG SysML), Version, vol.1, issue.3, 2012.

C. Preschern, N. Kajtazovic, and C. Kreiner, Building a safety architecture pattern system, Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP '13, vol.17, pp.1-17, 2015.

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, TACAS 1998, vol.1384, pp.151-166, 1998.

A. Requet, E. Börger, M. Butler, and J. P. Bowen, BART: a tool for automatic refinement, ABZ 2008, vol.5238, pp.345-345, 2008.

J. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Reference Manual, 2004.

M. Sango, F. Vallée, A. Vié, J. Voirin, X. Leroux et al., MBSE and MBSA with Capella and safety architect tools, CSDM 2016, p.239, 2016.

J. L. Voirin, Model-based System and Architecture Engineering with the Arcadia Method, 2017.