1. The Open Group Architecture Forum. Available at
  2. ALES: ALES S.r.l. - Advanced Laboratory on Embedded Systems. Available at
  3. Alexandre ARNOLD, Benoît BOYER & Axel LEGAY (2013): Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, doi:10.4204/EPTCS.133.6.
  4. Modelica Association: Modelica. Available at
  5. M. D'Angelo, A. Ferrari, O. Ogaard, C. Pinello & A. Ulisse (2012): A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System. In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software. Available at
  6. Danse (2013): Designing for Adaptability and evolutioN in SoS Engineering. Available at
  7. DARPA: DARPA META Program. Available at
  8. UK Ministry of Defence: MODAF – Ministry of Defence Architecture Framework. Available at
  9. USA Department of Defence: DoDAF – Department of Defence Architecture Framework. Available at
  10. A. Ferrari, M. Carloni, A. Mignogna, F. Menichelli, D. Ginsberg, E. Scholte & D. Nguyen (2012): Scalable virtual prototyping of distributed embedded control in a modern elevator system. In: Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on, pp. 267–270, doi:10.1109/SIES.2012.6356593.
  11. A. Ferrari, L. Mangeruca, O. Ferrante & M. Mignogna (2012): DesyreML: a SysML profile for heterogeneous embedded systems. In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software. Available at
  12. IBM: IBM Rational Rhapsody Designer for Systems Engineering. Available at
  13. Accellera Systems Initiative: Accelera Systems Initiative. Available at
  14. INRIA: INRIA website. Available at
  15. INRIA (2012): Plasma-Lab: a Statistical Model Checker. Available at
  16. IP-XACT: IP-XACT Technical Committee. Available at
  17. ITEA2: ITEA2 – Information Technology for European Advancement. Available at
  18. ITEA2: Modelisar. Available at
  19. Axel Legay & Benoît Delahaye (2010): Statistical Model Checking : An Overview. CoRR abs/1005.1327. Available at
  20. Mark W. Maier (1998): Architecting principles for systems-of-systems. Systems Engineering 1(4), pp. 267–284, doi:10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D.
  21. Mathworks: The Mathworks. Available at
  22. MBAT: MBAT – combined Model-Based Analysis and Testing of embedded systems. Available at
  23. OMG (2010): OCL v2.2 - Object Constraint Language. Available at
  24. OMG (2012): UPDM – Unified Profile for DoDAF and MODAF. Available at
  25. Kwiatkowska M. Parker D., Norman G. (2012): The probabilistic model checker PRISM. Available at
  26. Modelica Association Project (2012): FMI v2.0 beta 4. Available at
  27. SysML Open Source Specification Project: SysML v. 1.3 Specification. Available at
  28. SPEEDS (2010): SPEculative and Exploratory Design in Systems Engineering. Available at
  29. SPRINT: SPRINT – Software PlatfoRm for Integration of eNgineering and Things. Available at
  30. S Xiaoxia & Z Qiuhai (2003): MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI). In: SICE-ANNUAL CONFERENCE- 1. SICE; 1999, pp. 1136–1139.

Comments and questions to:
For website issues: