J. Abeille, Vers un couplage des processus de conception de systèmes et de planication de projets: formalisation de connaissances méthodologiques et de connaissances métier, 2011.

. Russell-l-acko, Towards a system of systems concepts, Management science, vol.17, issue.11, p.661671, 1971.

M. Aldanondo and E. Vareilles, Conguration for mass customization: how to extend product conguration towards requirements and process conguration, Journal of Intelligent Manufacturing, vol.19, issue.5, p.521535, 2008.

M. Aldanondo, E. Vareilles, and M. Djefel, Towards an association of product conguration with production planning, International Journal of Mass Customisation, vol.3, issue.4, p.316332, 2010.

C. M. Jos, J. M. Baeten, J. E. Van-de-mortel-fronczak, and . Rooda, Integration of supervisory control synthesis in model-based systems engineering, Complex Systems, p.3958, 2016.

C. Baier, J. Katoen, and K. Larsen, Principles of model checking, 2008.

Y. Bar-yam, When systems engineering fails-toward complex systems engineering, IEEE International Conference on, vol.2, p.20212028, 2003.

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple viewpoint contract-based specication and design, International Symposium on Formal Methods for Components and Objects, 2007.

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for system design, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01971429

J. Bézivin, Model driven engineering: An emerging technical space, Lecture Notes in Computer Science, vol.4143, p.36, 2006.

S. Benjamin and . Blanchard, System engineering management, 2004.

T. Blochwitz, M. Otter, J. Akesson, M. Arnold, C. Clauss et al., Functional mockup interface 2.0: The standard for tool independent exchange of simulation models, Proceedings of the 9th International MODELICA Conference, 2012.

. Germany, , p.173184, 2012.

R. Bloem, K. Chatterjee, A. Thomas, B. Henzinger, and . Jobstmann, Better quality in synthesis through quantitative objectives, International Conference on Computer Aided Verication, p.140156

. Springer, , 2009.

R. Bloem, R. Ehlers, S. Jacobs, and R. Könighofer, How to handle assumptions in synthesis, 2014.

E. Bonjour, Contributions à l'instrumentation du métier d'architecte système: de l'architecture modulaire du produit à l'organisation du système de conception, 2008.

R. Tyson, . Browning, . Steven, and . Eppinger, Modeling impacts of process architecture on cost and schedule risk in product development, IEEE transactions on engineering management, vol.49, issue.4, p.428442, 2002.

D. Campagna and A. Formisano, Product and production process modeling and conguration, Fundamenta Informaticae, vol.124, issue.4, p.403425, 2013.

P. Cantot and D. Luzeaux, Simulation and Modeling of Systems of Systems, 2013.

H. Charles, Balancing corporate power: A new federalist paper, Harvard Business Review, vol.70, issue.6, 1992.

K. Chatterjee, L. Doyen, and T. Henzinger, Expressiveness and closure properties for quantitative languages, Logic In Computer Science, 2009. LICS'09. 24th Annual IEEE Symposium on, 2009.

S. Cho and S. Eppinger, Product development process modeling using advanced simulation, 2001.

C. Edmund, Orna Grumberg, and Doron Peled. Model checking, 2000.

T. Coudert, Formalisation et exploitation de connaissances et d'expériences pour l'aide à la décision dans les processus d'ingénierie système, 2014.

E. Crawley, O. D. Weck, C. Magee, J. Moses, W. Seering et al., The inuence of architecture in engineering systems (monograph), 2004.

F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. Lee, Fide: an fmi integrated development environment, Proceedings of the 31st Annual ACM Symposium on Applied Computing, p.17591766, 2016.

W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, Using contract-based component specications for virtual integration testing and architecture design, Design, Automation & Test in Europe Conference & Exhibition (DATE), p.16, 2011.

F. Demoly, B. Xiu-tian-yan, S. Eynard, D. Gomes, and . Kiritsis, Integrated product relationships management: a model to enable concurrent product design and assembly sequence planning, Journal of Engineering Design, vol.23, issue.7, p.544561, 2012.

W. Edsger and . Dijkstra, A note on two problems in connexion with graphs, Numerische mathematik, vol.1, issue.1, p.269271, 1959.

Z. Diskin and T. Maibaum, Category theory and model-driven engineering: from formal semantics to design patterns and beyond, ModelDriven Engineering of Information Systems: Principles, Techniques, and Practice, p.173, 2014.

D. Dori, Object-process methodology: A holistic systems paradigm, 2002.

M. Droste and P. Gastin, Weighted automata and weighted logics, Theoretical Computer Science, vol.380, issue.1-2, p.6986, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00772642

M. Droste and W. Kuich, Semirings and Formal Power Series, p.328, 2009.

M. Claudia, . Eckert, C. David, J. F. Wynn, A. Maier et al., On the integration of product and process models in engineering design, Design Science, p.3, 2017.

C. Andrée, J. Ehresmann, and . Vanbremeersch, Hierarchical evolutive systems: A mathematical model for complex systems, Bulletin of Mathematical Biology, vol.49, issue.1, p.1350, 1987.

D. Ernadote, An automated objective-driven approach to drive the usage of the naf framework, Information Systems Technology Panel (IST) Symposium, 2013.

D. Ernadote, An ontology mindset for system engineering, IEEE International Symposium on, p.454460, 2015.

D. Ernadote, Ontology reconciliation for system engineering, IEEE International Symposium on, p.18, 2016.

R. Eshuis, Reconciling statechart semantics, Science of Computer Programming, vol.74, issue.3, p.6599, 2009.
DOI : 10.1016/j.scico.2008.09.001
URL : https://doi.org/10.1016/j.scico.2008.09.001

U. Fahrenberg and A. Legay, The quantitative linear-timebranching-time spectrum, Theoretical Computer Science, vol.538, p.5469, 2014.
DOI : 10.1016/j.tcs.2013.07.030
URL : http://drops.dagstuhl.de/opus/volltexte/2011/3332/pdf/14.pdf

S. Fiorèse and J. Meinadier, Découvrir et comprendre l'ingénierie système, CEPADUES Editions, ISBN, p.6, 2012.

J. Fitzgerald, J. Peter-gorm-larsen, and . Woodcock, Foundations for model-based engineering of systems of systems, Complex Systems Design & Management, p.119, 2014.

K. Forsberg, H. Mooz, and H. Cotterman, Visualizing project management: models and frameworks for mastering complex systems, 2005.

T. Friend, Agile Project Success and Failure (The Story of the FBI Sentinel Program, 2017.

J. Gausemeier, T. Gaukstern, and C. Tschirner, Systems engineering management based on a discipline-spanning system model, Procedia Computer Science, vol.16, p.303312, 2013.
DOI : 10.1016/j.procs.2013.01.032
URL : https://doi.org/10.1016/j.procs.2013.01.032

R. M. Joseph-a-goguen and . Burstall, Institutions: Abstract model theory for specication and programming, Journal of the ACM (JACM), vol.39, issue.1, p.95146, 1992.

C. Handy, Trust and the virtual organization, Harvard business review, vol.73, issue.3, p.40, 1995.

D. Harel, Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, p.231274, 1987.
DOI : 10.1016/0167-6423(87)90035-9
URL : https://doi.org/10.1016/0167-6423(87)90035-9

N. J. Peter-e-hart, B. Nilsson, and . Raphael, A formal basis for the heuristic determination of minimum cost paths, IEEE transactions on Systems Science and Cybernetics, vol.4, issue.2, p.100107, 1968.

C. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, p.576580, 1969.
DOI : 10.1007/978-1-4612-6315-9_9
URL : http://www.utdallas.edu/~kxh060100/cs6371fa07/hoare.pdf

W. Hodges, Model theory, vol.42, 1993.

T. O. Holland, Modeling and Simulation in the Systems Engineering Life Cycle: Core Concepts and Accompanying Lectures, chapter Model-Based Systems Engineering, p.299306, 2015.

I. , Systems Engineering Handbook: A Guide for System Life Cycle Process and Activities, 2015.

, INCOSE. Systems engineering vision 2025, 2015.

S. Jacobs and R. Bloem, The reactive synthesis competition, Syntcomp 2016 and beyond, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01373547

M. O. Jamshidi, System of systems engineering-new challenges for the 21st century. Aerospace and Electronic Systems Magazine, vol.23, p.419, 2008.

F. K. Simo, D. Lenne, and D. Ernadote, Mastering SoS complexity through a methodical tailoring of modeling: Benets and new issues, Systems Conference (SysCon), 2015 9th Annual IEEE International, p.516520, 2015.

F. K. Simo, D. Lenne, and D. Ernadote, Towards Modelling of Modelling in SE, 2016 IEEE International Symposium on Systems Engineering (ISSE), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01404073

J. Stephen and . Kapurch, NASA Systems Engineering Handbook, 2010.

M. Robert and . Keller, Formal verication of parallel programs, Communications of the ACM, vol.19, issue.7, p.371384, 1976.

S. Kent, Model driven engineering, Integrated formal methods, p.286298, 2002.

. Annette, Behind the wizard's curtain. an integration environment for a system of systems, DTIC Document, 1999.

T. Leinster, Higher operads, higher categories. arXiv preprint math0305049, 2003.
DOI : 10.1017/cbo9780511525896
URL : http://arxiv.org/pdf/math/0305049

T. Leinster, Higher operads, higher categories, vol.298, 2004.
DOI : 10.1017/cbo9780511525896
URL : http://arxiv.org/pdf/math/0305049

J. Leonard, Systems engineering fundamentals, 1999.

D. Luzeaux, A formal foundation of systems engineering, Complex Systems Design& Management, p.133148, 2015.

D. Luzeaux and J. Ruault, Systèmes de systèmes: concepts et illustrations pratiques. Hermès science publications, 2008.

S. Lane, Categories for the working mathematician, 1998.

W. Mark and . Maier, Architecting principles for systems-of-systems, INCOSE International Symposium, vol.6, p.565573, 1996.

A. F. Melo, A state-action model for design process planning, 2002.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, p.4051, 1992.
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

V. Dana-s-nau, L. Kumar, and . Kanal, General branch and bound, and its relation to a* and ao*, Articial Intelligence, vol.23, issue.1, p.2958, 1984.

P. Nuzzo, H. Xu, N. Ozay, A. L. John-b-finn, R. M. Sangiovanni-vincentelli et al., A contract-based methodology for aircraft electric power system design, IEEE Access, vol.2, p.125, 2014.
DOI : 10.1109/access.2013.2295764
URL : https://doi.org/10.1109/access.2013.2295764

B. Donal and O. Donovan, Modelling and simulation of engineering design processes, 2004.

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.179190, 1989.

G. Pol, C. Merlo, J. Legardeur, and G. Jared, Analysing collaborative practices in design to support project managers, International Journal of Computer Integrated Manufacturing, vol.20, issue.7, p.654668, 2007.
DOI : 10.1080/09511920701566533
URL : https://hal.archives-ouvertes.fr/hal-00182795

J. Peter, W. Ramadge, and . Wonham, Supervisory control of a class of discrete event processes, SIAM journal on control and optimization, vol.25, issue.1, pp.206-230, 1987.

R. Donna-h-rhodes, G. Valerdi, and . Roedler, Systems engineering leading indicators for assessing program and technical eectiveness, Systems Engineering, vol.12, issue.1, p.2135, 2009.

D. Romero, -. Hernández, and D. Escrig, Coinductive denition of distances between processes: beyond bisimulation distances, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, p.249265, 2014.

D. Rupel, . David, and . Spivak, The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes, 2013.

S. Russell and P. Norvig, A modern approach. Articial Intelligence, vol.25, p.27, 1995.

P. Andrew, . Sage, and . Christopher-d-cuppan, On the systems engineering and management of systems of systems and federations of systems. Information, Knowledge, Systems Management, vol.2, p.325345, 2001.

P. Andrew, . Sage, and . William-b-rouse, Handbook of systems engineering and management, 2009.

B. Sauser, J. Boardman, and A. Gorod, System of Systems Management, p.191217, 2008.

C. Douglas and . Schmidt, Model-driven engineering, COMPUTER-IEEE COMPUTER SOCIETY, vol.39, issue.2, p.25, 2006.

I. Sebok, SEBok Guide to the Systems Engineering Body of Knowledge, 2016.

A. Sanjit, N. Seshia, S. Sharygina, and . Tripakis, Modeling for verication. Handbook of Model Checking, 2014.

A. Sharon, D. Olivier-l-de-weck, and . Dori, Project management vs. systems engineering management: A practitioners' view on integrating the project and product domains, Systems Engineering, vol.14, issue.4, p.427440, 2011.

A. Sharon, V. Perelman, and D. Dori, A project-product lifecycle management approach for improved systems engineering practices, INCOSE International Symposium, vol.18, p.942957, 2008.

W. Shen, H. Douglas, J. Norrie, and . Barthès, Multi-agent systems for concurrent intelligent design and manufacturing, 2003.

. David-i-spivak, The operad of wiring diagrams: Formalizing a graphical language for databases, recursion, and plug-and-play circuits, 2013.

. David-i-spivak, Category theory for the sciences, 2014.

. David-i-spivak, Nesting of dynamic systems and mode-dependent networks, 2015.

D. Steward and D. Tate, Integration of axiomatic design and project planning, Proceedings of ICAD2000, First International Conference on Axiomatic Design, p.2123, 2000.

, CMMI Product Team. Cmmi for development, issue.2, 2006.

S. Tripakis, L'analyse formelle des systèmes temporisés en pratique, 1998.

S. Tripakis, Bridging the semantic gap between heterogeneous modeling formalisms and FMI, Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on, p.6069, 2015.

S. Tripakis, Compositionality in the science of system design, Proceedings of the IEEE, vol.104, issue.5, p.960972, 2016.

S. Tripakis, C. Stergiou, C. Shaver, and E. Lee, A modular formal semantics for ptolemy, Mathematical Structures in Computer Science, vol.23, issue.04, p.834881, 2013.

D. Vagner, E. David-i-spivak, and . Lerman, Algebras of open dynamical systems on the operad of wiring diagrams. Theory and Applications of Categories, vol.30, p.17931822, 2015.

E. Vareilles, T. Coudert, M. Aldanondo, L. Geneste, and J. Abeille, System design and project planning: Model and rules to manage their interactions, Integrated Computer-Aided Engineering, vol.22, issue.4, p.327342, 2015.
DOI : 10.3233/ica-150494
URL : https://hal.archives-ouvertes.fr/hal-01384985

J. Whittle, J. Hutchinson, and M. Rounceeld, The state of practice in model-driven engineering, IEEE software, vol.31, issue.3, p.7985, 2014.

N. Cct-workshop, Computational Category Theory Workshop at NIST on Sept. 28-29, 2015.

. David-c-wynn, Model-based approaches to support process improvement in complex product development, 2007.

C. David, P. Wynn, and . Clarkson, Process models in design and development, 2017.