{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:32:20Z","timestamp":1759937540098,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"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":[[2019,9]]},"DOI":"10.1109\/etfa.2019.8869447","type":"proceedings-article","created":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:18:52Z","timestamp":1571354332000},"page":"348-355","source":"Crossref","is-referenced-by-count":9,"title":["Applying Runtime Monitoring to the Industrial Internet of Things"],"prefix":"10.1109","author":[{"given":"Marco","family":"Grochowski","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[]},{"given":"Melanie","family":"Buchsbaum","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Brecher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_6"},{"year":"2015","key":"ref13","article-title":"Status Report : Rerference Achitecture Model Industrie 4.0 (RAMI4.0)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.254.2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793488"},{"key":"ref17","first-page":"26","article-title":"Digital Shadows in the Internet of Production","volume":"115","author":"jarke","year":"2018","journal-title":"ERCIM News"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.37544\/1436-4980-2018-05-39","article-title":"Edge Computing und Digitaler Schatten : Schlüsseltechnologien für die Automatisierung der Zukunft","volume":"108","author":"brecher","year":"2018","journal-title":"wt Werkstattstechnik online"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref3","article-title":"Testen von Industrie-4.0-Systemen – Wie vernetzte Systeme und Industrie 4.0 unser Verständnis von Systemtest und Qualitätssicherung ändern","author":"weyrich","year":"2016","journal-title":"4 VDI-Fachtagung mit Fachausstellung Düsseldorf"},{"key":"ref6","article-title":"LTL to Büchi Automata Translation: Fast and More Deterministic","volume":"abs 1201 682","author":"babiak","year":"2012","journal-title":"CoRR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref8","first-page":"377","article-title":"A Hierarchy of Temporal Properties","author":"manna","year":"1990","journal-title":"Principles of Distributed Computing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2019.8780276"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-42559-7","author":"jeschke","year":"2017","journal-title":"Industrial Internet of Things - Cybermanufacturing Systems ser Springer Series in Wireless Technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"}],"event":{"name":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2019,9,10]]},"location":"Zaragoza, Spain","end":{"date-parts":[[2019,9,13]]}},"container-title":["2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8851311\/8868236\/08869447.pdf?arnumber=8869447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T01:44:51Z","timestamp":1664675091000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8869447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/etfa.2019.8869447","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}