{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:58:03Z","timestamp":1725526683266},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/coase.2018.8560588","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T01:00:52Z","timestamp":1544662852000},"page":"1170-1176","source":"Crossref","is-referenced-by-count":1,"title":["Achieving delta description of the control software for an automated production system evolution"],"prefix":"10.1109","author":[{"given":"Suhyun","family":"Cha","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.044"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587064"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733717"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.309"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2670146"},{"key":"ref16","first-page":"161","article-title":"A Petri Net Semantics for the PLC Language Instruction List","author":"heiner","year":"1998","journal-title":"Proc Workshop Discrete Event Syst"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.10"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616327"},{"key":"ref19","first-page":"2987","article-title":"Verification of Sequential Function Charts Using SMV","author":"bornot","year":"2000","journal-title":"Int Conf Parallel Distrib Process Tech Appl Las Vegas"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_15"},{"key":"ref27","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 University of Munich"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_54"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2017.8104887"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISAM.2016.7750714"},{"journal-title":"Model-based testing of fault scenarios in production automation","year":"2016","author":"r\u00f6sch","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2018.01.010"},{"journal-title":"Programmable Controllers-Part 3 Programming Languages","year":"2003","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281753"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393850"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48057-9_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/9781118949214"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/NCETACS.2012.6203309"},{"key":"ref26","article-title":"Development and Evaluation of a Model for Modular Automation in Plant Manufacturing","author":"katzke","year":"2004","journal-title":"Proc Int Conf Inform Syst Anal Synth"},{"key":"ref25","first-page":"1","article-title":"IEC 61131-3: Programming industrial automation systems: Concepts and programming languages, requirements for programming systems, decision-making aids","author":"john","year":"2010","journal-title":"IEC 61131–3 Program Ind Autom Syst Concepts Program Lang Requir Program Syst Decis Aids"}],"event":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2018,8,20]]},"location":"Munich, Germany","end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536777\/8560337\/08560588.pdf?arnumber=8560588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T21:28:38Z","timestamp":1626902918000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8560588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/coase.2018.8560588","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}