{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:31:47Z","timestamp":1772519507750,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"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":[[2021,5,10]]},"DOI":"10.1109\/icps49255.2021.9468213","type":"proceedings-article","created":{"date-parts":[[2021,7,5]],"date-time":"2021-07-05T16:39:55Z","timestamp":1625503195000},"page":"597-604","source":"Crossref","is-referenced-by-count":9,"title":["Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems"],"prefix":"10.1109","author":[{"given":"Smitha","family":"Gautham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Athira Varma","family":"Jayakumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhi","family":"Rajagopala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Elks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"409","author":"shanahan","year":"1999","journal-title":"The Event Calculus Explained"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2012.6344559"},{"key":"ref12","first-page":"17","article-title":"Industry 4.0 as a cyber-physical system study","author":"pieter","year":"2016","journal-title":"Software & Systems Modeling"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00038"},{"key":"ref14","article-title":"Twinops - devops meets model-based engineering and digital twins for the engineering of cps","author":"hugues","year":"2020","journal-title":"Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38209-3_3"},{"key":"ref16","article-title":"Dependable adas by combining design time testing and runtime monitoring","author":"mauritz","year":"0","journal-title":"10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2781198"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3193992.3194000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4018\/IJSSSP.2020070103"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39306-9_6"},{"key":"ref6","author":"rusaw","year":"2013","journal-title":"Emergency diesel generator digital control system upgrade requirements"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20000101"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1118537.1123060"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2172\/1547345"},{"key":"ref2","first-page":"108","author":"tamura","year":"2013","journal-title":"Towards Practical Runtime Verification and Validation of Self-adaptive Software Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58920-2_8"}],"event":{"name":"2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)","location":"Victoria, BC, Canada","start":{"date-parts":[[2021,5,10]]},"end":{"date-parts":[[2021,5,12]]}},"container-title":["2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9467798\/9468113\/09468213.pdf?arnumber=9468213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:46:08Z","timestamp":1652183168000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9468213\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icps49255.2021.9468213","relation":{},"subject":[],"published":{"date-parts":[[2021,5,10]]}}}