{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:27:10Z","timestamp":1729621630510,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/iecon.2014.7048868","type":"proceedings-article","created":{"date-parts":[[2015,5,23]],"date-time":"2015-05-23T01:04:43Z","timestamp":1432343083000},"page":"2571-2577","source":"Crossref","is-referenced-by-count":3,"title":["Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution"],"prefix":"10.1109","author":[{"given":"Christopher","family":"Haubeck","sequence":"first","affiliation":[]},{"given":"Winfried","family":"Lamersdorf","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Ladiges","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[]},{"given":"Julia","family":"Fuchs","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Legat","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Formal Technical Process Specification and Verification for Automated Production Systems","author":"hackenberg","year":"2014","journal-title":"in Proc of the 8th System Analysis and Modelling Conf"},{"key":"ref32","article-title":"A MOF-based Metamodel and UML Syntax for Networked Ontologies","author":"brockmans","year":"2006","journal-title":"Proc Int Semantic Web Workshop"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622886"},{"key":"ref30","article-title":"Keeping Pace with Changes-Towards Supporting Continuous Improvements and Extensive Updates in Production Automation Software","volume":"56","author":"haubeck","year":"2013","journal-title":"Electronic Communications of the EASST"},{"key":"ref34","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 TUM-AIS-TR-01–14–02"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1145\/2351676.2351741","article-title":"Arcade PLC: A verification platform for programmable logic controllers","author":"biallas","year":"2012","journal-title":"IEEE\/ACM int'L Conf on Automated Software Engineering (ASE)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"2590","DOI":"10.23919\/ECC.2009.7074796","article-title":"Distributed identification of concurrent discrete event systems for fault detection purposes","author":"roth","year":"2009","journal-title":"Proc Eur Control Conf 2009"},{"journal-title":"Fault-Diagnosis Systems An Introduction from Fault Detection to Fault Tolerance","year":"2006","author":"isermann","key":"ref14"},{"key":"ref15","article-title":"Learning Behavior Models for Hybrid Timed Systems","author":"niggemann","year":"2012","journal-title":"Proc 26th Conf Artificial Intelligence"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.235"},{"key":"ref17","first-page":"5225","article-title":"Model-based knowledge extraction for automated monitoring and control","author":"legat","year":"2011","journal-title":"Proceedings of the 18th IFAC World Congress"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35852-4_23"},{"journal-title":"ISO 22400–2 Automation systems and integration - Key performance indicators for manufacturing operations management-Part 2 Definitions and descriptions","year":"2012","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194092000038"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6699841"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"journal-title":"IEC 62541–5 OPC Unified Architecture – Part 5 Information model","year":"2008","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.879686"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref7","first-page":"7866","article-title":"PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking","author":"witsch","year":"2011"},{"journal-title":"The Engineering Design of Systems Models and Methods","year":"2000","author":"buede","key":"ref2"},{"key":"ref9","first-page":"1","article-title":"Approaches to the Formal Verification of Hybrid Systems","author":"kowalewski","year":"2000"},{"journal-title":"Production development Design and operation of production systems","year":"2010","author":"bellgran","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28244-0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6647979"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648092"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386422"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347057"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7763\/IJMO.2013.V3.308"},{"journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement","year":"2001","author":"manfred","key":"ref25"}],"event":{"name":"IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2014,10,29]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2014,11,1]]}},"container-title":["IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7036020\/7048466\/07048868.pdf?arnumber=7048868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T20:57:59Z","timestamp":1691701079000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7048868\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/iecon.2014.7048868","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}