{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:51:29Z","timestamp":1761663089040,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dsnw.2012.6264663","type":"proceedings-article","created":{"date-parts":[[2012,8,17]],"date-time":"2012-08-17T15:49:12Z","timestamp":1345218552000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["A rigorous approach to the design of resilient cyber-physical systems through co-simulation"],"prefix":"10.1109","author":[{"given":"John","family":"Fitzgerald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Modelling faults and fault tolerance mechanisms in a paper pinch comodel","author":"pierce","year":"2011","journal-title":"Proceedings of the ERCIM\/EWICS\/Cyber-physical Systems Workshop at SafeComp 2011"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"18","article-title":"Elements of reusable object-oriented software","author":"gamma","year":"1995","journal-title":"Addison-Wesley Professional Computing Series"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"journal-title":"Analysis and Design of Hybrid Systems A Proceedings Volume from the 2nd IFAC Conference","year":"2006","author":"cassandras","key":"16"},{"key":"13","first-page":"172","article-title":"Methodology for efficient design of continuous\/discrete-events co-simulation tools","author":"nicolescu","year":"2007","journal-title":"High Level Simulation Languages and Applications"},{"key":"14","first-page":"1","article-title":"IEEE standard for modeling and simulation (M & S) high level architecture (HLA) - Framework and rules","year":"2000","journal-title":"IEEE Std 1516-2000"},{"journal-title":"Boderc Model-based Design of High-tech Systems","year":"2006","author":"heemels","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BFb0054087","article-title":"Modelica - A Unified Object-Oriented Language for System Modeling and Simulation","author":"fritzson","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1145\/1668862.1668864","article-title":"The overture initiative - Integrating tools for VDM","volume":"35","author":"larsen","year":"2010","journal-title":"ACM Software Engineering Notes"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.26"},{"journal-title":"Information Technology - Programming Languages their Environments and System Software Interfaces - Vienna Development Method - Specification Language - Part 1 Base Language","year":"1996","author":"larsen","key":"2"},{"key":"1","first-page":"1","article-title":"Science and engineering of cyber-physical systems (Dagstuhl seminar 11441)","volume":"1","author":"giese","year":"2012","journal-title":"Dagstuhl report"},{"key":"10","article-title":"D4.2 - Industrial case studies year 2","author":"witte","year":"2012","journal-title":"Tech Rep the DESTECS Project (INFSO-ICT-248134)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03196-0"},{"key":"6","first-page":"22","article-title":"Modelling, simulation and analysis with 20-sim","volume":"38","author":"broenink","year":"1997","journal-title":"Journal a Special Issue CACSD"},{"key":"5","first-page":"147","article-title":"Modeling and validating distributed embedded real-time systems with VDM++","volume":"4085 lncs","author":"verhoef","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"journal-title":"Validated Designs for Object-oriented Systems","year":"2005","author":"fitzgerald","key":"4"},{"key":"9","article-title":"A formal approach to collaborative modelling and co-simulation for embedded systems","author":"fitzgerald","year":"2011","journal-title":"To Appear in Mathematical Structures in Computer Science 2012"},{"journal-title":"Modeling and Validating Distributed Embedded Real-Time Control Systems","year":"2009","author":"verhoef","key":"8"}],"event":{"name":"2012 IEEE\/IFIP 42nd International Conference on Dependable Systems and Networks Workshops (DSN-W)","start":{"date-parts":[[2012,6,25]]},"location":"Boston, MA, USA","end":{"date-parts":[[2012,6,28]]}},"container-title":["IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6255871\/6264647\/06264663.pdf?arnumber=6264663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T18:59:24Z","timestamp":1497985164000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6264663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/dsnw.2012.6264663","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}