{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:46:35Z","timestamp":1774421195887,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"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,6,21]]},"DOI":"10.1109\/ice\/itmc52061.2021.9570222","type":"proceedings-article","created":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:57:21Z","timestamp":1635800241000},"page":"1-9","source":"Crossref","is-referenced-by-count":6,"title":["A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration"],"prefix":"10.1109","author":[{"given":"Siva D. Chandrasekaran","family":"Saratha","sequence":"first","affiliation":[{"name":"TU Kaiserslautern,Faculty of Computer Science,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Grimm","sequence":"additional","affiliation":[{"name":"TU Kaiserslautern,Faculty of Computer Science,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wawrzik","sequence":"additional","affiliation":[{"name":"TU Kaiserslautern,Faculty of Computer Science,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"The sosa\/ssn ontology: a joint web and ogc standard specifying the semantics of sensors observations actuation and sampling","volume":"1","author":"haller","year":"2018","journal-title":"Journal of Web Semanticsi"},{"key":"ref11","article-title":"Extending the saref ontology for building devices and topology","author":"poveda-villal\u00f3n","year":"2018","journal-title":"6th Linked Data in Architecture and Construction Workshop (LDAC 2018)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2018.8622503"},{"key":"ref13","first-page":"151","author":"leucker","year":"2017","journal-title":"Runtime Verification for Linear-Time Temporal Logic"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715278"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262527811.001.0001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5540\/tema.2003.04.03.0297"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"ref4","article-title":"Strategy for Continuous Testing in iDevOps","author":"zimmer","year":"0","journal-title":"European Test Conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2968456.2974007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.05.003"},{"key":"ref5","author":"grieves","year":"2016","journal-title":"Origins of the Digital Twin Concept"},{"key":"ref8","author":"boulakia","year":"2020","journal-title":"A reference architecture for smart building digital twin"},{"key":"ref7","article-title":"Towards integrated data control for digital twins in industry 4.0","volume":"2615","author":"bader","year":"2020","journal-title":"Proceedings of the International Workshop on Semantic Digital Twins co-located with the 17th Extended Semantic Web Conference SeDiT Eswc 2020"},{"key":"ref2","author":"bass","year":"2015","journal-title":"DevOps A Software Architect's Perspective"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1976.10480949"},{"key":"ref9","first-page":"1","author":"muralidharan","year":"2020","journal-title":"Designing a semantic digital twin model for iot"}],"event":{"name":"2021 IEEE International Conference on Engineering, Technology and Innovation (ICE\/ITMC)","location":"Cardiff, United Kingdom","start":{"date-parts":[[2021,6,21]]},"end":{"date-parts":[[2021,6,23]]}},"container-title":["2021 IEEE International Conference on Engineering, Technology and Innovation (ICE\/ITMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9570112\/9570113\/09570222.pdf?arnumber=9570222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T00:10:53Z","timestamp":1659485453000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9570222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ice\/itmc52061.2021.9570222","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]}}}