{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:09:21Z","timestamp":1761581361353},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301603","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T22:21:19Z","timestamp":1445898079000},"page":"1-5","source":"Crossref","is-referenced-by-count":7,"title":["Proving equivalence between control software variants for Programmable Logic Controllers"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Ulewicz","sequence":"first","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2011","journal-title":"ARC Advisory Group","article-title":"PLC & PLC-based PAC worldwide outlook: Five year market analysis and technology forecast through 2016","key":"ref10"},{"year":"2015","author":"weigl","article-title":"Regression verification of programmable logic controller software","key":"ref11"},{"key":"ref12","article-title":"An effeient method of computing static single assignment form","author":"cytron","year":"1989","journal-title":"ACM Symposium on Principles of Programming Languages (POPL)"},{"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":"MedIA"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.entcs.2004.09.026"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1515\/auto-2014-1099"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/IECON.2009.5415231"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/978-3-540-27863-4_28","article-title":"Verification of PLC programs given as sequential function charts","author":"bauer","year":"2004","journal-title":"Integration of Software Specification Techniques for Applications in Engineering LNCS 3147"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/2642937.2642987"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1002\/stvr.1472"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/IECON.2014.7048875"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.4236\/jsea.2014.75041"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/43.851997"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301603.pdf?arnumber=7301603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T22:15:51Z","timestamp":1498256151000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301603\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301603","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}