{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:32Z","timestamp":1754161292053,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3731434","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:43Z","timestamp":1753729843000},"page":"1244-1245","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Pn4PLC: Verification of Software Upgrade for PLC Code"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5865-9754","authenticated-orcid":false,"given":"Soumyadip","family":"Bandyopadhyay","sequence":"first","affiliation":[{"name":"ABB Corporate Research Center, Bangalore, Karnataka, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0230-190X","authenticated-orcid":false,"given":"Raoul","family":"Jetley","sequence":"additional","affiliation":[{"name":"ABB Process Automation, Bangalore, Karnataka, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"N Bauer R Huuck B Lukoschus and S Engell. 2005. A Unifying Semantics for Sequential Function Charts. In Integration of Software Specification Techniques for Applications in Engineering. 400\u2013418.","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-540-27863-4_22"},{"doi-asserted-by":"crossref","unstructured":"S Ulewicz B Vogel M Ulbrich A Weigl and B Beckert. 2015. Proving equivalence between control software variants for Programmable Logic Controllers. ETFA 1\u20135.","key":"e_1_3_2_1_2_1","DOI":"10.1109\/ETFA.2015.7301603"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"FSE Companion '25","name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3731434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:13:03Z","timestamp":1753729983000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3731434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":2,"alternative-id":["10.1145\/3696630.3731434","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3731434","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}