A. Arnold, A. Griffault, G. Point, and A. Rauzy, The AltaRica language and its semantics, Fundamenta Informaticae, vol.34, pp.109-124, 2000.

S. Benjamin, . Blanchard, J. Wolter, and . Fabrycky, Systems Engineering and Analysis, 2008.

N. Wirth, Algorithms + Data Structures = Programs, 1976.

M. Abadi and L. Cardelli, A Theory of Objects, 1998.

M. Batteux, T. Prosvirnova, and A. Rauzy, System Structure Modeling Language (S2ML). AltaRica Association, 2015. archive hal 01234903, vol.1
URL : https://hal.archives-ouvertes.fr/hal-01234903

O. Dahl and K. Nygaard, Simula: an algol-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.

S. Epstein and A. Rauzy, Open-PSA Model Exchange format, version 2.0d, 2008.

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

S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML: The Systems Modeling Language, 2011.

P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2003.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley professional computing series, 1994.

A. Goldberg and D. Robson, Smalltalk 80: The Language, 1983.

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

A. Hatchuel and B. Weill, C-k design theory: an advanced formulation, vol.19, pp.181-192, 2009.

G. Lakoff, Women, Fire, and Dangerous Things: What Categories Reveal About the Mind, 1990.

M. W. Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998.

T. Murata, Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol.77, pp.541-580, 1989.

J. Noble, A. Taivalsaari, and I. Moore, Prototype-Based Programming: Concepts, Languages and Applications, 1999.

G. D. Plotkin, The origins of structural operational semantics, Journal of Logic and Algebraic Programming, vol.6061, p.315, 2004.

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The AltaRica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS2013, pp.127-132, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01789435

M. Rausand and A. Hyland, System Reliability Theory: Models, Statistical Methods, and Applications, 2004.

A. Rauzy, Guarded transition systems: a new states/events formalism for reliability studies, Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008.

D. Steinberg, F. Budinsky, M. Paternostro, E. Merks, and . Emf, Eclipse Modeling Framework, 2008.