{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T14:40:43Z","timestamp":1749998443639},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638419","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"361-368","source":"Crossref","is-referenced-by-count":5,"title":["Restricting IEC 61131-3 programming languages for use on high integrity applications"],"prefix":"10.1109","author":[{"given":"Mario","family":"de Sousa","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007959310351"},{"journal-title":"Formal Verification of Programmable Logic Controllers","year":"1995","author":"boralv","key":"17"},{"key":"18","article-title":"modular verification of function block based industrial control systems","author":"volker","year":"1999","journal-title":"Proceedings of Joint 24th IFAC\/IFIP Workshop on Real-Time Programming and the 3rd International Workshop on Active and Real-Time Database Systems"},{"key":"33","article-title":"an open source iec 61131-3 integrated development environment","author":"de sousa","year":"2007","journal-title":"Proceedings of the 5 th IEEE International Conference on Industrial Informatics (INDIN 2007)"},{"year":"0","key":"15"},{"key":"16","article-title":"verification of plc programs","author":"susta","year":"2003","journal-title":"CTU (Prague) - Faculty of Electrotechnical Engineering"},{"key":"13","article-title":"programming plcs using sequential function chart","author":"bruggink","year":"1999","journal-title":"on 30th April 2008 availabe"},{"key":"14","article-title":"a petri net semantics for the plc language instruction list","author":"heiner","year":"1998","journal-title":"Proc Workshop Discrete Event Syst (WODES)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/APAQS.2001.990043"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2001.945122"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0266-9838(92)90024-X"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1267488"},{"key":"23","article-title":"formal specification of a safe plc language and its compiler","author":"egger","year":"1994","journal-title":"Proceedings of the 12th International Conference on Computer Safety Reliability and Security (SAFCOMP)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1049\/cce:19960309"},{"year":"0","key":"25"},{"year":"0","key":"26"},{"journal-title":"available on 30th","article-title":"department of defense requirements for high order computer programming languages: steelman","year":"1978","key":"27"},{"year":"0","key":"28"},{"year":"0","key":"29","article-title":"the use of ada in high-integrity systems - final draft"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281764"},{"journal-title":"International Standard 61508 Functional Safety of Electrical\/Electronic\/Programmable electronic Safety Related systems Part 7 Overview of Techniques and Measures","year":"2000","key":"2"},{"key":"10","article-title":"a model-checking approach to safe plcs","author":"huuck","year":"2003","journal-title":"Proceedings od the IMACS Multiconference on Computational Engineering in Systems Applications (CESA)"},{"journal-title":"International Standard IEC 61131-3 Programmable Controllers Part 3 second edition","year":"2003","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/844091.844099"},{"key":"7","article-title":"verification of sequential function charts using smv","author":"bornot","year":"2000","journal-title":"Proceedings of the IEEE International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA)"},{"key":"6","first-page":"18","article-title":"utilizing static analysis for programmable logic controllers","author":"bornot","year":"2000","journal-title":"Proceedings of the 4th Interntaional Conference on Automation of Mixed Processes Hybrid Systems (APDM) Dortmund Germany Seternbro"},{"journal-title":"Safer C Developing Software for High-Integrity and Safety-Critical Systems","year":"1995","author":"hatton","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"31","article-title":"an iec 61131-3 compiler for the matplc","author":"de sousa","year":"2003","journal-title":"Proc 9th IEEE Int Conf Emerging Technologies Factory Automation (ETFA)"},{"key":"4","article-title":"safe programming of plc using formal verification methods","author":"de smet","year":"2000","journal-title":"Proceedings of the 4th International PLCOpen Conference on Industrial Control Programming (ICP)"},{"article-title":"software verification for programmable logic controllers","year":"2003","author":"huuck","key":"9"},{"key":"8","article-title":"software verification for embedded systems","author":"huuck","year":"2002","journal-title":"Proceedings of the 8th IEEE International Conference on Methods and Models in Automation and Robotics (MMAR)"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638419.pdf?arnumber=4638419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:24:52Z","timestamp":1489749892000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638419","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}