A. Gbr, Technical Overview, 2008.

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The Architecture Analysis & Design Language (AADL): An Introduction, 2006.

B. Josko, Q. Ma, and A. Metzner, Designing Embedded Systems using Heterogeneous Rich Components, Proceedings of the INCOSE International Symposium, 2008.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

M. Object and . Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, 2009.

J. Thyssen, D. Ratiu, W. Schwitzer, A. Harhurin, M. Feilkas et al., A system for seamless abstraction layers for model-based development of embedded software, Proceedings of Envision 2020 Workshop, 2010.