{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:30:30Z","timestamp":1752229830070},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/etfa.2016.7733649","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T16:26:20Z","timestamp":1478535980000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Internal inconsistencies in the third edition of the IEC 61131-3 international standard"],"prefix":"10.1109","author":[{"given":"Bruno Goncalves","family":"Silva","sequence":"first","affiliation":[]},{"given":"Mario","family":"de Sousa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Formalization of existing PLC Programs: A Survey","year":"0","author":"younis","key":"ref10"},{"journal-title":"IEC 61131-3 2013 International Standard","year":"2013","key":"ref11"},{"journal-title":"IEC 61131-3 3rd Edition “PLC Programming Languages” Compliance List","year":"2013","key":"ref12"},{"key":"ref13","article-title":"The Definitive ANTLR Reference","author":"terrence","year":"2007","journal-title":"Pragmatic Bookshelf"},{"journal-title":"The Compiler Generator Coco\/R","year":"2010","author":"hanspeter","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2010.03.006"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2006.06.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281925"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489534"},{"key":"ref8","article-title":"A Structured Text to MISRA-C Translator and Issues with IEC 61131?3 Standard","author":"kabra","year":"2012","journal-title":"IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.026"},{"key":"ref2","article-title":"LL(*): The Foundation of the ANTLR Parser Generator","author":"terrence","year":"2011","journal-title":"PLDI'11"},{"journal-title":"emphCompilers Principles Techniques and Tools","year":"2006","author":"aho","key":"ref1"},{"article-title":"Software Verification for Embedded Systems","year":"0","author":"huuck","key":"ref9"}],"event":{"name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2016,9,6]]},"location":"Berlin, Germany","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7593665\/7733490\/07733649.pdf?arnumber=7733649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T02:17:06Z","timestamp":1479867426000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7733649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/etfa.2016.7733649","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}