{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:42:56Z","timestamp":1730299376180,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,4,1]],"date-time":"2018-04-01T00:00:00Z","timestamp":1522540800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,4,1]],"date-time":"2018-04-01T00:00:00Z","timestamp":1522540800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/syscon.2018.8369586","type":"proceedings-article","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T22:25:57Z","timestamp":1527805557000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and cross-domain dependability analysis of cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Mark R.","family":"Blackburn","sequence":"first","affiliation":[{"name":"Stevens Institute of Technology, Hoboken, NJ 07030, USA"}]},{"given":"Mark A.","family":"Austin","sequence":"additional","affiliation":[{"name":"Deparment of Civil Engineering, University of Maryland, College Park, MD 20742, USA"}]},{"given":"Maria","family":"Coelho","sequence":"additional","affiliation":[{"name":"Civil Systems, Department of Civil Engineering, University of Maryland, College Park, MD 20742, USA"}]}],"member":"263","reference":[{"journal-title":"Topic Maps - Data Model","year":"2005","key":"ref39"},{"journal-title":"SPARQL 1 1 Overview","year":"2013","key":"ref38"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10270-012-0249-9","article-title":"An Ontology-Based Framework for Domain-Specific Modeling","volume":"13","author":"walter","year":"2014","journal-title":"Software & Systems Modeling"},{"journal-title":"OWL 2 Web Ontology Language Document Overview","article-title":"World Wide Web Consortium","year":"2012","key":"ref32"},{"key":"ref31","first-page":"49","author":"broman","year":"2012","journal-title":"Viewpoints Formalisms Languages and Tools for Cyber-Physical Systems"},{"journal-title":"OpenModelica","year":"0","key":"ref30"},{"journal-title":"RDF - Resource Description Framework (RDF) Concepts and Abstract Syntax W3C Recommendation","year":"2014","key":"ref37"},{"year":"0","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2012.11.003"},{"key":"ref34","first-page":"11","article-title":"Joseph Kopena: Semantic Integration through Invariants","volume":"26","author":"gr\u00a4ninger","year":"2005","journal-title":"AI Magazine"},{"key":"ref10","first-page":"10.da-1","volume":"2","author":"blackburn","year":"2005","journal-title":"Life Cycle Integration Use of Model-Based Testing Tools"},{"key":"ref40","first-page":"1","article-title":"Building Topic Maps in OWL DL","author":"cregan","year":"2005","journal-title":"Proceedings of the Extreme Markup Languages® 2005 Conference"},{"journal-title":"DO-178C - Software Considerations in Airborne Systems and Equipment ?Certification","year":"2011","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.044"},{"journal-title":"Overview of the META Toolchain in the Adaptive Vehicle Make Program","year":"2015","author":"bapty","key":"ref13"},{"key":"ref14","article-title":"Model-Centric Engineering","author":"bone","year":"2016","journal-title":"Conference on Systems Engineering Research"},{"key":"ref15","first-page":"748","article-title":"PVS: A prototype verification system","volume":"607","author":"owre","year":"1992","journal-title":"11th International Conference on Automated Deduction (CADE)"},{"key":"ref16","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"clarke","year":"1981","journal-title":"Logic of Programs"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/978-3-319-06410-9_33","article-title":"Refactoring, Refinement, and Reasoning","volume":"8442","author":"mitsch","year":"2014","journal-title":"FM 2014 Formal Methods"},{"key":"ref18","first-page":"r1:3","article-title":"New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond","volume":"2","author":"seshia","year":"2015","journal-title":"CSI Journal of Computing"},{"journal-title":"An Introduction to Formal Program Verification New York","year":"1985","author":"mili","key":"ref19"},{"journal-title":"2016 Conference on Systems Engineering Research","article-title":"blind authors>, Project-Based Education for the Systems Engineering of Cyber-Physical Systems","year":"2016","key":"ref28"},{"key":"ref4","article-title":"Cyber-physical Systems","author":"baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"journal-title":"Cyber Physical Systems Final Report TBD Robotics Presents The Dopplebot System Model Document","year":"2015","author":"atherton","key":"ref27"},{"journal-title":"National Academy of Science Interim Report on Cyber-Physical Systems Education","year":"2015","key":"ref3"},{"journal-title":"RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref6"},{"key":"ref29","article-title":"Cyber Physical Systems Final Report","author":"broadbent","year":"2015","journal-title":"TrueVisit System Model Document"},{"journal-title":"Technologies for Improving the Dependability of Software-Intensive Systems A Review of NASA Experience and Needs","year":"1994","author":"stark","key":"ref5"},{"journal-title":"ARTEMIS-GB-2012-D46 - Annex 2","year":"2013","key":"ref8"},{"journal-title":"V & V of Flight-Critical Systems Safe & Secure Systems & Software Symposium","year":"2010","author":"brat","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010299"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"journal-title":"Foundations for Innovation in Cyber-Physical Systems","year":"2013","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.77"},{"journal-title":"Reducing Verification Costs through Practical Formal Methods A Survey System and Software Consortium Technical Report","year":"2011","author":"blackburn","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"journal-title":"ANTLR (Another-Tool for Language Recognition)","year":"0","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ComplexSys.2015.7385993"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/9781118094259"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351672"},{"journal-title":"Semantically-rigorous systems engineering using SysML and OWL","year":"2012","author":"jenkins","key":"ref26"},{"key":"ref43","article-title":"Towards ontology-driven requirements engineering","author":"siegemund","year":"2011","journal-title":"Workshop Semantic Web Enabled Software Engineering at 10th International Semantic Web Conference (ISWC)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2015.12.003"}],"event":{"name":"2018 Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2018,4,23]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2018,4,26]]}},"container-title":["2018 Annual IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8365669\/8369483\/08369586.pdf?arnumber=8369586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,24]],"date-time":"2023-03-24T17:55:05Z","timestamp":1679680505000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8369586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/syscon.2018.8369586","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}