{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:42:39Z","timestamp":1755801759856,"version":"3.44.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"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,7]]},"DOI":"10.1109\/indin41052.2019.8972210","type":"proceedings-article","created":{"date-parts":[[2020,1,31]],"date-time":"2020-01-31T00:16:43Z","timestamp":1580429803000},"page":"413-418","source":"Crossref","is-referenced-by-count":2,"title":["On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems"],"prefix":"10.1109","author":[{"given":"Suhyun","family":"Cha","sequence":"first","affiliation":[{"name":"Technical University of Munich,Chair of Automation and Information Systems,Garching near Munich,Germany"}]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute for Theoretical Informatics,Karlsruhe,Germany"}]},{"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute for Theoretical Informatics,Karlsruhe,Germany"}]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology,Institute for Theoretical Informatics,Karlsruhe,Germany"}]},{"given":"Kathrin","family":"Land","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Chair of Automation and Information Systems,Garching near Munich,Germany"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Chair of Automation and Information Systems,Garching near Munich,Germany"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1177\/0018720814547570"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1002\/aris.1440370111"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/ISAM.2016.7750714"},{"key":"ref13","article-title":"Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit","author":"vogel-heuser","year":"2014","journal-title":"Technical Report No TUM-AIS-TR-01-14-02"},{"key":"ref14","article-title":"Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the extended Pick and Place Unit","author":"vogel-heuser","year":"2018","journal-title":"TUM-AIS-TR-02-18-06"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/2786536.2786544"},{"key":"ref16","first-page":"1","article-title":"IEEE Standard Glossary of Software Engineering Terminology","year":"1990","journal-title":"IEEE Std 610 12-1990"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ICSE.2013.6606576"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.conengprac.2018.01.010"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/274946.274960"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.conengprac.2016.09.012"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/SISY.2013.6662548"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1515\/auto-2018-0028"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/1629911.1630034"},{"year":"2009","article-title":"IEC 61131-3 Programmable Logic Controllers – Part 3: Programming Languages","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-319-25423-4_15"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.jss.2015.08.026"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-319-25141-7_4"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1080\/00140139408964957"}],"event":{"name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2019,7,22]]},"location":"Helsinki, Finland","end":{"date-parts":[[2019,7,25]]}},"container-title":["2019 IEEE 17th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8961950\/8972012\/08972210.pdf?arnumber=8972210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T18:35:37Z","timestamp":1755714937000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8972210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/indin41052.2019.8972210","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}