{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:28:45Z","timestamp":1762522125077,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/etfa.2017.8247710","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:42:04Z","timestamp":1515451324000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Ontology-based framework for the generation of interlock code with redundancy elimination"],"prefix":"10.1109","author":[{"given":"Michael","family":"Steinegger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Melik-Merkumians","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Schitter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733694"},{"journal-title":"Eclipse Graphiti-building graphical editors the easy way","year":"2011","key":"ref11"},{"key":"ref12","article-title":"PandIX-exchanging P&I diagram model data","author":"sch\u00fcller","year":"2012","journal-title":"IEEE Int Conf on Emerging Technologies and Factory Automation"},{"journal-title":"IEC 62424 Representation of Process Control Engineering-Requests in P&I Diagrams and Data Exchange between P&ID Tools and PCE-CAE Tools","year":"2008","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IDEAS.2004.1319794"},{"key":"ref15","article-title":"The smt-lib standard: Version 2. 0","author":"barrett","year":"2010","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"},{"journal-title":"IEC 81346-Industrial systems installations and equipment and industrial products-Structuring principles and reference designations-Part 1 Basic rules and Part 2 Classification of objects and codes for classes","year":"2010","key":"ref16"},{"key":"ref4","first-page":"62","article-title":"Degussa PlantXML-integri-erter Planungsprozess mit flexiblen Bausteinen [german]","volume":"46","author":"anh\u00e4user","year":"2004","journal-title":"ATP"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2136377"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195867"},{"journal-title":"ISO 15926 Industrial Automation Systems and Integration-Integration of Life-cycle Data for Process Plants Including Oil and Gas Production Facilities","year":"2007","key":"ref5"},{"key":"ref8","first-page":"2653","article-title":"Computer-aided design and implementation of interlock control code","author":"drath","year":"2006","journal-title":"Proc of the IEEE Int Conf on Computer-Aided Control Systems Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1127-4"},{"journal-title":"Prozessleiuechnik fur die Verfahrensindustrie","year":"2001","author":"felleisen","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489546"},{"key":"ref9","first-page":"337","article-title":"Z3: An efficient SMT solver","volume":"4963","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems ser Springer Lecture Notes in Computer Science"}],"event":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2017,9,12]]},"location":"Limassol","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8233358\/8247555\/08247710.pdf?arnumber=8247710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T22:53:00Z","timestamp":1518475980000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8247710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/etfa.2017.8247710","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}