{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:43:26Z","timestamp":1761129806434,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T00:00:00Z","timestamp":1591747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T00:00:00Z","timestamp":1591747200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T00:00:00Z","timestamp":1591747200000},"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":[[2020,6,10]]},"DOI":"10.1109\/icps48405.2020.9274778","type":"proceedings-article","created":{"date-parts":[[2020,12,5]],"date-time":"2020-12-05T02:54:11Z","timestamp":1607136851000},"page":"242-249","source":"Crossref","is-referenced-by-count":3,"title":["Supporting troubleshooting in machine and plant manufacturing by backstepping of PLC-control software"],"prefix":"10.1109","author":[{"given":"Bernhard","family":"Werner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Ziegltrum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Grobl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Botzenhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/VISSOF.2011.6069463"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489785"},{"key":"ref12","first-page":"1","article-title":"Opportunities and challenges of static code analysis of IEC 61131-3 programs","author":"pr\u00e4hofer","year":"2012","journal-title":"IEEE ETFA"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2174248"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/251957"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3182\/20070904-3-KR-2922.00016"},{"key":"ref16","article-title":"The adaptation of test-driven software processes to industrial automation systems","author":"hametner","year":"2010","journal-title":"IEEE INDIN"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"ref18","first-page":"641","article-title":"A comprehensive solution for deterministic replay debugging of SoftPLC applications","volume":"7","author":"pr\u00e4hofer","year":"2011","journal-title":"IEEE T-II"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2016.91001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2574644"},{"journal-title":"International Electrotechnical Commission","article-title":"Programmable Controllers—Part 3: Programming Languages, Standard IEC 61131-3","year":"2003","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref8","first-page":"1110","article-title":"Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs","author":"pr\u00e4hofer","year":"2010","journal-title":"2010 8th IEEE ICIT"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02207"},{"key":"ref2","first-page":"1234","article-title":"Software engineering in industrial automation: State-of-theart review","volume":"9","author":"vyatkin","year":"2013","journal-title":"IEEE T-II"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.10"},{"key":"ref20","article-title":"Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit","author":"vogel-heuser","year":"2014","journal-title":"MedIA"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.08.058"}],"event":{"name":"2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)","start":{"date-parts":[[2020,6,10]]},"location":"Tampere, Finland","end":{"date-parts":[[2020,6,12]]}},"container-title":["2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9274544\/9274545\/09274778.pdf?arnumber=9274778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:08:00Z","timestamp":1656374880000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9274778\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icps48405.2020.9274778","relation":{},"subject":[],"published":{"date-parts":[[2020,6,10]]}}}