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

V. Aa, D6.3.2 -Goal and Contract Specification Language, 2013.

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

V. Aa, A. Danse-final-report, B. Arnold, A. Boyer, and . 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.

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

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-212, 2013.
DOI : 10.1109/EMSOFT.2013.6658580

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

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

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

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, pp.218-234, 2009.
DOI : 10.1016/j.ic.2006.05.002

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

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

M. 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

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. 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. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.

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

B. Zeigler, Guide to Modeling and Simulation of Systems of Systems -User's Reference, 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, 2003.
DOI : 10.1007/978-3-540-39866-0_35