M. Maier, Architecting principles for systemsof-systems, Systems Engineering, vol.11, issue.4, pp.267-2841520, 1998.
DOI : 10.1002/j.2334-5837.1996.tb02054.x

A. Mignogna, L. Mangeruca, B. Boyer, A. Legay, and A. Arnold, SoS contract verification using statistical model checking, Proc. 1st Workshop on Advances in Systems of Systems (AiSoS) 2013, pp.67-83, 2013.
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D
URL : https://hal.archives-ouvertes.fr/hal-01090330

H. Younes and R. Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006.
DOI : 10.1016/j.ic.2006.05.002
URL : https://doi.org/10.1016/j.ic.2006.05.002

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, QEST'13, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

A. Arnold, B. Boyer, and A. Legay, Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Electronic Proceedings in Theoretical Computer Science, vol.1, issue.4, 2013.
DOI : 10.1145/1134285.1134337

A. Arnold, M. Baleani, A. Ferrari, M. Marazza, V. Senni et al., Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Proc. 1st Workshop on Advances in Systems of Systems (AiSoS) 2013, pp.47-66
DOI : 10.1145/1134285.1134337

. Vv and . Aa, (2012) FMI Standard Specification. Modelica association, https

. Vv and . Aa, UPDM 2.0 Formal Specification. OMG, http://www.omg.org/spec, 2012.

V. Aa, D3.3.2 -Concept Alignment Example description, 2013.
URL : https://hal.archives-ouvertes.fr/ujm-00404249

. Vv and . Aa, SysML Open Source Specification Project, 2015.

T. Blochwitz, M. Otter, M. Arnold, C. Bausch, C. Clauß et al., The Functional Mockup Interface for Tool independent Exchange of Simulation Models, Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany, 2011.
DOI : 10.3384/ecp11063105

E. A. Lee and H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.114-123, 2007.
DOI : 10.1145/1289927.1289949

D. Broman, C. Brooks, L. Greenberg, E. Lee, M. Masin et al., Determinate composition of FMUs for co-simulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-2, 2013.
DOI : 10.1109/EMSOFT.2013.6658580

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

K. Havelund and G. Rosu, Synthesizing monitors for safety properties In Tools and Algorithms for the Construction and Analysis of Systems Held as Part of the Joint European Conference on Theory and Practice of Software, 8th International Conference Proceedings, pp.342-356, 2002.

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, CAV, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

H. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.

S. Jha, E. Clarke, C. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, Computational Methods in Systems Biology Lecture Notes in Computer Science, vol.204, issue.9, pp.218-234978, 2009.
DOI : 10.1016/j.ic.2006.05.002

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, VMCAI, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1007/BF02883985
URL : http://www.stat.ncsu.edu/library/mimeo.archive/ISMS_1962_326.pdf

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

V. Aa, D6.3.3 -GCSL Syntax, Semantics and Metamodel . Public deliverable, DANSE deliverable, D2.5.4: Contract Specification Language. Public deliverable, 2008.

. Vv and . Aa, OCL Language Specification, 2014.

D. Distefano, J. Katoen, and A. Rensink, On a Temporal Logic for Object-Based Systems, 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) 2000 (Kluwer), IFIP Conference Proc, pp.305-325, 2000.
DOI : 10.1093/logcom/5.5.603

P. Ziemann and M. Gogolla, OCL Extended with Temporal Logic, 5th Conference on Perspectives of Systems Informatics (PSI) 2003 (Springer), pp.351-357978, 2003.
DOI : 10.1007/978-3-540-39866-0_35
URL : http://www.db.informatik.uni-bremen.de/publications/Ziemann_2003_PSI.ps.gz

S. Flake and W. Müller, Past-and futureoriented time-bounded temporal properties with OCL, 2nd International Conference on Software Engineering and Formal Methods, pp.154-163, 2004.
DOI : 10.1109/sefm.2004.1347516
URL : http://www.c-lab.de/vis/flake/publications/sefm2004_flake.pdf

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical model checking for biological systems, International Journal on Software Tools for Technology Transfer, vol.13, issue.11, pp.351-367, 2015.
DOI : 10.1073/pnas.092133899
URL : https://link.springer.com/content/pdf/10.1007%2Fs10009-014-0323-4.pdf

Q. Cappart, C. Limbrée, P. Schaus, J. Quilbeuf, L. M. Traonouez et al., Verification of Interlocking Systems Using Statistical Model Checking, 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)
DOI : 10.1109/HASE.2017.10
URL : https://hal.archives-ouvertes.fr/hal-01591338

A. Colombo, D. Fontanelli, A. Legay, L. Palopoli, and S. Sedwards, Efficient customisable dynamic motion planning for assistive robots in complex human environments, Journal of Ambient Intelligence and Smart Environments, vol.21, issue.2, pp.617-634, 2015.
DOI : 10.1111/j.1745-7599.2008.00390.x
URL : https://hal.archives-ouvertes.fr/hal-01239099

B. Zeigler, Guide to Modeling and Simulation of Systems of Systems -User's Reference, Briefs in Computer Science, pp.978-979, 2013.

L. Rainey and A. Tolk, Modeling and simulation support for system of systems engineering applications, 2015.
DOI : 10.1002/9781118501757

J. Boulanger, Industrial Use of Formal Methods, pp.10-1002, 2012.
DOI : 10.1002/9781118561829

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.11-15, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel et al., Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.171-185, 2015.
DOI : 10.1007/BF00429748
URL : https://hal.archives-ouvertes.fr/hal-01087822

Y. J. Moon, A. Silva, C. Krause, and F. Arbab, A compositional model to reason about endto-end qos in stochastic reo connectors/science/article/ pii/S0167642311002073. Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10, Special section -Brazilian Symposium on Programming Languages (SBLP 2010) and Special section on formal methods for industrial critical systems, 2014.
DOI : 10.1016/j.scico.2011.11.007

T. Le, R. Passerone, U. Fahrenberg, and A. Legay, A tag contract framework for heterogeneous systems Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, pp.204-217978, 2013.

C. Jégourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification -25th International Conference Proceedings: 576?591, pp.978-981, 2013.
DOI : 10.1007/978-3-642-39799-8_38