@(opengroup,
 title        = "The Open Group Architecture Forum",
 url          = "http://www.opengroup.org/togaf/",
)
@(ALES,
 author       = "ALES",
 title        = "ALES S.r.l. - Advanced Laboratory on Embedded Systems",
 url          = "http://www.ales.eu.com/site/",
)
@(AiSoS2013Legay,
 author       = "Alexandre ARNOLD and Benoît BOYER and Axel LEGAY",
 year         = "2013",
 title        = "Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach",
 doi          = "10.4204/EPTCS.133.6",
)
@(modelica,
 author       = "Modelica Association",
 title        = "Modelica",
 url          = "https://www.modelica.org/",
)
@inproceedings(ERTS2012DAngelo,
 author       = "M. D'Angelo and A. Ferrari and O. Ogaard and C. Pinello and A. Ulisse",
 year         = "2012",
 title        = "A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System",
 booktitle    = "Online proceedings of ERTS$^2$ 2012 - Embedded Real Time Systems and Software",
 url          = "http://www.erts2012.org/Site/0P2RUC89/4B-3.pdf",
)
@(project-DANSE,
 author       = "{\sc Danse}",
 year         = "2013",
 title        = "Designing for Adaptability and evolutioN in SoS Engineering",
 url          = "https://www.danse-ip.eu/home/",
)
@(DARPAMETA,
 author       = "DARPA",
 title        = "DARPA META Program",
 url          = "http://cps-vo.org/group/avm/meta/",
)
@(MODAF,
 author       = "UK Ministry of Defence",
 title        = "MODAF – Ministry of Defence Architecture Framework",
 url          = "http://www.modaf.org.uk",
)
@(DoDAF,
 author       = "USA Department of Defence",
 title        = "DoDAF – Department of Defence Architecture Framework",
 url          = "http://dodcio.defense.gov/dodaf20.aspx",
)
@inproceedings(SIES2012Ferrari,
 author       = "A. Ferrari and M. Carloni and A. Mignogna and F. Menichelli and D. Ginsberg and E. Scholte and D. Nguyen",
 year         = "2012",
 title        = "Scalable virtual prototyping of distributed embedded control in a modern elevator system",
 booktitle    = "Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on",
 pages        = "267--270",
 doi          = "10.1109/SIES.2012.6356593",
)
@inproceedings(ERTS2012Ferrari,
 author       = "A. Ferrari and L. Mangeruca and O. Ferrante and M. Mignogna",
 year         = "2012",
 title        = "DesyreML: a SysML profile for heterogeneous embedded systems",
 booktitle    = "Online proceedings of ERTS$^2$ 2012 - Embedded Real Time Systems and Software",
 url          = "http://www.erts2012.org/Site/0P2RUC89/5B-1.pdf",
)
@(rhapsody,
 author       = "IBM",
 title        = "IBM Rational Rhapsody Designer for Systems Engineering",
 url          = "http://www-142.ibm.com/software/products/it/it/ratirhapdesiforsystengi/",
)
@(accelera,
 author       = "Accellera Systems Initiative",
 title        = "Accelera Systems Initiative",
 url          = "http://www.accellera.org/",
)
@(INRIA,
 author       = "INRIA",
 title        = "INRIA website",
 url          = "http://www.inria.fr/",
)
@(Plasma-Lab,
 author       = "INRIA",
 year         = "2012",
 title        = "Plasma-Lab: a Statistical Model Checker",
 url          = "http://project.inria.fr/plasma-lab/",
)
@(IP-XACT,
 author       = "IP-XACT",
 title        = "IP-XACT Technical Committee",
 url          = "http://www.accellera.org/activities/committees/ip-xact/",
)
@(ITEA,
 author       = "ITEA2",
 title        = "ITEA2 – Information Technology for European Advancement",
 url          = "http://www.itea2.org/",
)
@(modelisar,
 author       = "ITEA2",
 title        = "Modelisar",
 url          = "http://www.itea2.org/project/index/view/?project=217",
)
@article(LegaySMCOverview,
 author       = "Axel Legay and Beno\^{\i }t Delahaye",
 year         = "2010",
 title        = "Statistical Model Checking : An Overview",
 journal      = "CoRR",
 volume       = "abs/1005.1327",
 url          = "http://arxiv.org/abs/1005.1327",
)
@article(Maier1998,
 author       = "Mark W. Maier",
 year         = "1998",
 title        = "Architecting principles for systems-of-systems",
 journal      = "Systems Engineering",
 volume       = "1",
 number       = "4",
 pages        = "267--284",
 doi          = "10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D",
)
@(mathworks,
 author       = "Mathworks",
 title        = "The Mathworks",
 url          = "http://www.mathworks.it/",
)
@(MBAT,
 author       = "MBAT",
 title        = "MBAT – combined Model-Based Analysis and Testing of embedded systems",
 url          = "https://www.mbat-artemis.eu/",
)
@(OCL,
 author       = "OMG",
 year         = "2010",
 title        = "OCL v2.2 - Object Constraint Language",
 url          = "http://www.omg.org/spec/OCL/2.2/",
)
@(UPDM,
 author       = "OMG",
 year         = "2012",
 title        = "UPDM – Unified Profile for DoDAF and MODAF",
 url          = "http://www.omg.org/spec/UPDM/",
)
@(PRISM,
 author       = "Kwiatkowska M. Parker D., Norman G.",
 year         = "2012",
 title        = "The probabilistic model checker PRISM",
 url          = "http://www.prismmodelchecker.org",
)
@(FMI,
 author       = "Modelica Association Project",
 year         = "2012",
 title        = "FMI v2.0 beta 4",
 url          = "https://www.fmi-standard.org/",
)
@(SysML,
 author       = "SysML Open Source Specification Project",
 title        = "SysML v. 1.3 Specification",
 url          = "http://www.sysml.org",
)
@(project-SPEEDS,
 author       = "SPEEDS",
 year         = "2010",
 title        = "SPEculative and Exploratory Design in Systems Engineering",
 url          = "http://www.speeds.eu.com/",
)
@(SPRINT,
 author       = "SPRINT",
 title        = "SPRINT – Software PlatfoRm for Integration of eNgineering and Things",
 url          = "http://www.sprint-iot.eu/",
)
@inproceedings(xiaoxia2003mpii,
 author       = "S Xiaoxia and Z Qiuhai",
 year         = "2003",
 title        = "MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI)",
 booktitle    = "SICE-ANNUAL CONFERENCE-",
 volume       = "1",
 organization = "SICE; 1999",
 pages        = "1136--1139",
)