@(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\IeC {\^\i }t BOYER and Axel LEGAY",
 year         = "2013",
 title        = "Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach",
)
@(modelica,
 author       = "Modelica Association",
 title        = "Modelica",
 url          = "https://www.modelica.org/",
)
@book(BK08,
 author       = "Christel Baier and Joost-Pieter Katoen",
 year         = "2008",
 title        = "Principles of Model Checking (Representation and Mind Series)",
 publisher    = "The MIT Press",
 url          = "http://mitpress.mit.edu/books/principles-model-checking",
)
@article(BBBCDL10,
 author       = "Ananda Basu and Saddek Bensalem and Marius Bozga and Beno\&\#x00ee;t Delahaye and Axel Legay",
 year         = "2012",
 title        = "Statistical abstraction and model-checking of large heterogeneous systems",
 journal      = "Int. J. Softw. Tools Technol. Transf.",
 volume       = "14",
 number       = "1",
 pages        = "53--72",
 doi          = "10.1007/s10009-011-0201-2",
)
@book(DBLP:series/natosec/30,
 editor       = "Manfred Broy and Christian Leuxner and Tony Hoare",
 year         = "2011",
 title        = "Software and Systems Safety - Specification and Verification",
 series       = "NATO Science for Peace and Security Series - D: Information and Communication Security",
 volume       = "30",
 publisher    = "IOS Press",
)
@inproceedings(ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
 author       = "Cheng and all",
 year         = "2009",
 title        = "Software Engineering for Self-Adaptive Systems: A Research Roadmap",
 booktitle    = "Software Engineering for Self-Adaptive Systems",
 series       = "LNCS",
 volume       = "5525",
 doi          = "10.1007/978-3-642-02161-9",
)
@article(CLD10,
 author       = "Edmund Clarke and Alexandre Donz{\'e} and Axel Legay",
 year         = "2010",
 title        = "On simulation-based probabilistic model checking of mixed-analog circuits",
 journal      = "Form. Methods Syst. Des.",
 volume       = "36",
 number       = "2",
 pages        = "97--113",
 doi          = "10.1007/s10703-009-0076-y",
)
@incollection(CFLHJL08,
 author       = "Edmund M. Clarke and James R. Faeder and Christopher J. Langmead and Leonard A. Harris and Sumit Kumar Jha and Axel Legay",
 year         = "2008",
 title        = "Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway",
 editor       = "Monika Heiner and AdelindeM. Uhrmacher",
 booktitle    = "Computational Methods in Systems Biology",
 series       = "Lecture Notes in Computer Science",
 volume       = "5307",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "231--250",
 doi          = "10.1007/978-3-540-88562-7\_18",
)
@book(CGP99,
 author       = "Edmund M. Clarke, Jr. and Orna Grumberg and Doron A. Peled",
 year         = "1999",
 title        = "Model checking",
 publisher    = "The MIT Press",
 address      = "Cambridge, MA, USA",
 url          = "http://mitpress.mit.edu/books/model-checking",
)
@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 \IeC {\textendash } Ministry of Defence Architecture Framework",
 url          = "http://www.modaf.org.uk",
)
@(DoDAF,
 author       = "USA Department of Defence",
 title        = "DoDAF \IeC {\textendash } 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",
)
@inproceedings(FHNPSV11,
 author       = "Jasmin Fisher and Thomas A. Henzinger and Dejan Nickovic and Nir Piterman and Anmol V. Singh and Moshe Y. Vardi",
 year         = "2011",
 title        = "Dynamic Reactive Modules",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6901",
 doi          = "10.1007/978-3-642-23217-6\_27",
)
@incollection(Ghezzi11,
 author       = "Carlo Ghezzi",
 year         = "2011",
 title        = "Engineering Evolving and Self-Adaptive Systems: An Overview",
 editor       = "Broy",
 pages        = "88--102",
 doi          = "10.3233/978-1-60750-711-6-88",
)
@(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 \IeC {\textendash } 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",
)
@inproceedings(JegourelLS12,
 author       = "Cyrille J{\'e}gourel and Axel Legay and Sean Sedwards",
 year         = "2012",
 title        = "A Platform for High Performance Statistical Model Checking - PLASMA",
 booktitle    = "TACAS",
 pages        = "498--503",
 doi          = "10.1007/978-3-642-28756-5\_37",
)
@inproceedings(JCLLPZ09,
 author       = "Sumit K. Jha and Edmund M. Clarke and Christopher J. Langmead and Axel Legay and Andr{\'e} Platzer and Paolo Zuliani",
 year         = "2009",
 title        = "A Bayesian Approach to Model Checking Biological Systems",
 booktitle    = "Proceedings of the 7th International Conference on Computational Methods in Systems Biology",
 series       = "CMSB '09",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "218--234",
 doi          = "10.1007/978-3-642-03845-7\_15",
)
@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 \IeC {\textendash } combined Model-Based Analysis and Testing of embedded systems",
 url          = "https://www.mbat-artemis.eu/",
)
@(OMG,
 author       = "OMG",
 title        = "Object Managment Group",
 url          = "http://www.omg.org/",
)
@(OCL,
 author       = "OMG",
 year         = "2010",
 title        = "OCL v2.2 - Object Constraint Language",
 url          = "http://www.omg.org/spec/OCL/2.2/",
)
@(UML,
 author       = "OMG",
 year         = "2011",
 title        = "UML v2.1.2",
 url          = "http://www.omg.org/spec/UML/2.1.2/",
)
@(UPDM,
 author       = "OMG",
 year         = "2012",
 title        = "UPDM \IeC {\textendash } Unified Profile for DoDAF and MODAF",
 url          = "http://www.omg.org/spec/UPDM/",
)
@(OCLChecker,
 author       = "Atos Origin",
 year         = "2011",
 title        = "MDT OCL/Ocl Checker",
 url          = "http://wiki.eclipse.org/MDT_OCL/Ocl_Checker",
)
@(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",
)
@inproceedings(KVA05,
 author       = "Koushik Sen and Mahesh Viswanathan and Gul Agha",
 year         = "2005",
 title        = "On Statistical Model Checking of Stochastic Systems",
 editor       = "Kousha Etessami and Sriram K. Rajamani",
 booktitle    = "CAV",
 pages        = "266--280",
 doi          = "10.1007/11513988\_26",
)
@(patterns-SPEEDS,
 author       = "SPEEDS",
 year         = "2008",
 title        = "D 2.5.4: Contract Specification Language",
 url          = "http://speeds.eu.com/downloads/D_2_5_4_RE_Contract_Specification_Language.pdf",
)
@(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 \IeC {\textendash } 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",
)
@techreport(Younes05,
 author       = "Samir Younes and Edmund M. Clarke and Geoffrey J. Gordon and Jeff G. Schneider",
 year         = "2005",
 title        = "Verification and Planning for Stochastic Processes with Asynchronous Events",
 type         = "Technical Report",
 institution  = "Carnegie Mellon University",
 doi          = "10.1.1.68.4454",
)
@inproceedings(ZC06,
 author       = "Ji Zhang and Betty H. C. Cheng",
 year         = "2006",
 title        = "Model-based development of dynamically adaptive software",
 booktitle    = "ICSE",
 publisher    = "ACM",
 doi          = "10.1145/1134285.1134337",
)