. Vv and . Aa, D3.3.2 -Concept Alignment Example description, 2013.

. Vv and . Aa, D6.3.3 -GCSL Syntax, Semantics and Meta-model, 2015.

. Vv and . Aa, DANSE Final Report, 2015.

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

A. Arnold, B. Boyer, and A. Legay, 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, 2013.
DOI : 10.4204/EPTCS.133.6

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

J. L. Boulanger, Industrial Use of Formal Methods, 2012.
DOI : 10.1002/9781118561829

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

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

Q. Cappart, C. Limbrée, P. Schaus, J. Quilbeuf, L. Traonouez et al., Verification of interlocking systems using statistical model checking
URL : https://hal.archives-ouvertes.fr/hal-01398649

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.7, issue.5, pp.617-634, 2015.
DOI : 10.3233/AIS-150338

URL : https://hal.archives-ouvertes.fr/hal-01239099

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.1007/s10009-014-0323-4

D. Distefano, J. P. 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), pp.305-325, 2000.
DOI : 10.1007/978-0-387-35520-7_16

L. Mangeruca, 3 -DANSE Methodology V2, 2013.

S. Flake and W. Müller, Past- and future-oriented time-bounded temporal properties with OCL, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.154-163, 2004.
DOI : 10.1109/SEFM.2004.1347516

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

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

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.1214/aoms/1177730491

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

. Sumitk, . Jha, . Edmundm, C. Clarke, A. Langmead et al., A bayesian approach to model checking biological systems, Computational Methods in Systems Biology, pp.218-234, 2009.

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

T. Le, R. Passerone, U. Fahrenberg, and A. Legay, A Tag Contract Framework for Heterogeneous Systems, Advances in Service-Oriented and Cloud Computing, pp.204-217
DOI : 10.1007/978-3-642-45364-9_17

URL : https://hal.archives-ouvertes.fr/hal-01087915

A. Edward, H. Lee, and . Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp.114-123, 2007.

M. W. Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998.
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D

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.4204/EPTCS.133.7

URL : https://hal.archives-ouvertes.fr/hal-01090330

Y. Moon, A. Silva, C. Krause, and F. Arbab, A compositional model to reason about end-to-end qos in stochastic reo connectors 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, Science of Computer Programming, vol.80, 2014.

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/s10009-014-0313-6

URL : https://hal.archives-ouvertes.fr/hal-01087822

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

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

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

. Vv and . Aa, FMI standard specification. Modelica association, https://www.fmi-standard.org, p.2012

. Vv and . Aa, UPDM 2.0 formal specification. OMG, http://www.omg.org/spec, p.2012

. Vv and . Aa, OCL language specification. OMG, http://www.omg.org/spec, 2014.

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

H. L. Younes and R. G. 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

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

P. Ziemann and M. Gogolla, OCL Extended with Temporal Logic, 5th Conference on Perspectives of Systems Informatics (PSI) 2003, pp.351-357
DOI : 10.1007/978-3-540-39866-0_35