{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:20:54Z","timestamp":1725733254475},"publisher-location":"Heidelberg","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319005560"},{"type":"electronic","value":"9783319005577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00557-7_46","type":"book-chapter","created":{"date-parts":[[2013,6,24]],"date-time":"2013-06-24T11:36:22Z","timestamp":1372073782000},"page":"559-571","source":"Crossref","is-referenced-by-count":0,"title":["On Analyzing the Semantics of IEC61131-3 ST and IL Applications"],"prefix":"10.1007","author":[{"given":"Mario","family":"de Sousa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,6,25]]},"reference":[{"unstructured":"International Electrotechnical Commission (1998) Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, December 1998","key":"46_CR1"},{"unstructured":"PLCopen: Technical Committee 5 (2006) Safety Software Technical Specification, Part 1: Concepts and Function Blocks. Version 1.0, Jan 2006","key":"46_CR2"},{"unstructured":"International Electrotechnical Commission (1993) International Standard IEC 61131-3, Programmable Logic Controllers Part 3, Geneva","key":"46_CR3"},{"unstructured":"de Sousa M, Tisserant E, Bessard L (2007) An open source IEC 61131-3 integrated development environment. In 5th IEEE International Conference on Industrial Informatics 2007 (IEEE INDIN\u201907), pp 183\u2013187","key":"46_CR4"},{"key":"46_CR5","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/j.csi.2010.03.006","volume":"32","author":"M Sousa de","year":"2010","unstructured":"de Sousa M (2010) Proposed corrections to the IEC 61131\u20133 standard. Comput Stand Interfaces 32:312\u2013320","journal-title":"Comput Stand Interfaces"},{"key":"46_CR6","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/j.micpro.2006.06.001","volume":"30","author":"I Plaza","year":"2006","unstructured":"Plaza I, Medrano C, Blesa A (2006) Analysis and implementation of the IEC 61131\u20133 software model under POSIX real-time operating systems. Microprocess Microsys 30:497\u2013508","journal-title":"Microprocess Microsys"},{"unstructured":"Younis MB, Frey G (2003) Formalization of existing PLC programs: a survey. In: Proceedings of CESA, Lille (France) CD-ROM. Paper S2-R-00-0239, July 2003","key":"46_CR7"},{"unstructured":"Egger G, Fett A, Pepper P (1994) Formal specification of a safe PLC language and its compiler. In: SAFECOMP\u201994, Proceedings of the 13th international conference on computer safety, reliability, and security, Anaheim, Kalifornien, USA","key":"46_CR8"},{"unstructured":"Tourlas K (1997) An assessment of the IEC 61131-3 standard languages for programmable controllers. In: SAFECOMP\u201997, Proceedings of the 16th international conference on computer safety, reliability, and security, York, United Kingdom, Sept 1997","key":"46_CR9"},{"doi-asserted-by":"crossref","unstructured":"de Sousa M (2012) Data-type checking of IEC 61131-3 IL and ST programs. In: 17th IEEE International conference on emerging technologies and factory automation (IEEE ETFA\u201912)","key":"46_CR10","DOI":"10.1109\/ETFA.2012.6489534"},{"unstructured":"Design Patterns for Flexible Manufacturing (2007) Dennis Brandl, ISA-Instrumentation, Systems, and Automation Society, ISBN-13: 978-1-55617-998-3","key":"46_CR11"},{"unstructured":"Aho AV, Lam MS, Sethi R, Ullman JD (2006) Compilers: principles, techniques, and tools, 2nd Edn. Sept 10, 2006, ISBN-13: 978-0321486813","key":"46_CR12"}],"container-title":["Lecture Notes in Mechanical Engineering","Advances in Sustainable and Competitive Manufacturing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00557-7_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T17:59:27Z","timestamp":1557856767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-00557-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319005560","9783319005577"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00557-7_46","relation":{},"ISSN":["2195-4356","2195-4364"],"issn-type":[{"type":"print","value":"2195-4356"},{"type":"electronic","value":"2195-4364"}],"subject":[],"published":{"date-parts":[[2013]]}}}