A. Alexandre, B. Benot, and L. Axel, Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, 2013.

M. D. Angelo, A. Ferrari, O. Ogaard, C. Pinello, and &. A. Ulisse, A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System, Online proceedings of ERTS 2 2012 -Embedded Real Time Systems and Software. Available at http://www. erts2012.org/Site, pp.4-7, 2012.

D. Program, Available at http://cps-vo.org/group

A. Ferrari, M. Carloni, A. Mignogna, F. Menichelli, D. Ginsberg et al., Scalable virtual prototyping of distributed embedded control in a modern elevator system, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), pp.267-270, 2012.
DOI : 10.1109/SIES.2012.6356593

A. Ferrari, L. Mangeruca, O. Ferrante, and &. M. Mignogna, DesyreML: a SysML profile for heterogeneous embedded systems, Online proceedings of ERTS 2 2012 -Embedded Real Time Systems and Software. Available at http://www.erts2012.org/Site, pp.5-6, 2012.

I. Committee, Available at http://www.accellera.org/activities

A. Legay and &. Beno??tbeno??t-delahaye, Statistical Model Checking: An Overview, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

W. Mark and . Maier, Architecting principles for systems-of-systems, 4¡267::AID-SYS3¿3.0.CO;2-D, pp.267-2841520, 1998.

M. Kwiatkowska, D. Parker, and G. Norman, The probabilistic model checker PRISM, 2012.

S. Xiaoxia and &. Qiuhai, MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI), In: SICE-ANNUAL CONFERENCE, pp.1136-1139, 1999.