{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T19:34:00Z","timestamp":1772134440674,"version":"3.50.1"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100003443","name":"Russian Ministry of Education and Science","doi-asserted-by":"publisher","award":["AAAA-A19-119120290056-0"],"award-info":[{"award-number":["AAAA-A19-119120290056-0"]}],"id":[{"id":"10.13039\/501100003443","id-type":"DOI","asserted-by":"publisher"}]},{"name":"H2020 Project 1-SWARM"},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["871743"],"award-info":[{"award-number":["871743"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3157601","type":"journal-article","created":{"date-parts":[[2022,3,8]],"date-time":"2022-03-08T21:35:35Z","timestamp":1646775335000},"page":"35238-35250","source":"Crossref","is-referenced-by-count":28,"title":["poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8198-3197","authenticated-orcid":false,"given":"Vladimir E.","family":"Zyubin","sequence":"first","affiliation":[{"name":"Institute of Automation and Electrometry SB RAS, Novosibirsk, Russia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7468-0411","authenticated-orcid":false,"given":"Andrei S.","family":"Rozov","sequence":"additional","affiliation":[{"name":"Institute of Automation and Electrometry SB RAS, Novosibirsk, Russia"}]},{"given":"Igor S.","family":"Anureev","sequence":"additional","affiliation":[{"name":"Institute of Automation and Electrometry SB RAS, Novosibirsk, Russia"}]},{"given":"Natalia O.","family":"Garanina","sequence":"additional","affiliation":[{"name":"Institute of Automation and Electrometry SB RAS, Novosibirsk, Russia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9315-9920","authenticated-orcid":false,"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Programmable Controllers\u2014Part 3: Programming Languages","year":"2013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref3","volume-title":"When Technology Standards Become Counterproductive","author":"Crater","year":"1992"},{"key":"ref4","volume-title":"StateWORKS: Going beyond the limitations of IEC 61131-3","author":"Wagner","year":"2005"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2011.44024"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3182\/20070904-3-KR-2922.00016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934795"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1117\/12.2054881"},{"key":"ref9","volume-title":"International Standard IEC61499-1: Function Blocks\u2014Part 1 Architecture","year":"2012"},{"key":"ref10","volume-title":"Automating With SIMATIC: Integrated Automation With SIMATIC S7-300\/400: Controllers, Software, Programming, Data Communication, Operator Control and Process Monitoring","author":"Berger","year":"2006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1201\/9781420013641"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/b16463"},{"issue":"5","key":"ref13","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1023\/A:1012392927006","article-title":"SWITCH technology: An automated approach to developing software for reactive systems","volume":"27","author":"Shalyto","year":"2001","journal-title":"Program. Comput. Softw."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/KIMAS.2005.1427123"},{"key":"ref15","first-page":"36","article-title":"SPARM language as a means for programming microcontrollers","volume":"2","author":"Zyubin","year":"1996","journal-title":"Optoelectron., Instrum., Data Process."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02207"},{"key":"ref17","first-page":"1","volume-title":"Data sheet CODESYS Professional Developer Edition\u2014Product Data Sheet V0.0.0.1","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63010-4_8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638395"},{"key":"ref20","volume-title":"Automating manufacturing systems with PLCs","author":"Jack","year":"2010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819191"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SKIMA47702.2019.8982491"},{"key":"ref23","volume-title":"The \u2019State\u2019 Pattern","author":"Henneken","year":"2018"},{"key":"ref24","volume-title":"PLC Programming an Elevator With Structured Text in Codesys","author":"Muhammad","year":"2020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74730-9_23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"ref28","first-page":"1","article-title":"A white paper state language for machine control","volume-title":"Proc. Control Technol.","author":"Crater"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0020949"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055357"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref34","first-page":"423","article-title":"Cospan","volume-title":"Int. Conf. Comput. Aided Verification","author":"Hardin"},{"key":"ref35","first-page":"61","article-title":"The SMV system","volume-title":"Proc. Symbolic Modeling Checking","author":"McMillan"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9_12"},{"key":"ref37","article-title":"Model checking RAISE specifications","author":"Perna","year":"2005"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253264"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/11563228_23"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SIBCON.2007.371297"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.3103\/S8756699019020122"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178152"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2007.910114"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417414"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9211925"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27477-1_23"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2018.8472071"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.878725"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27139-2_7"},{"key":"ref52","volume-title":"NesC 1.1 Language Reference Manual","author":"Gay","year":"2003"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"ref54","first-page":"25","article-title":"An automated control system for a silicon single-crystal growth furnace","volume-title":"Proc. Optoelectron., Instrum., Data Process.","volume":"2","author":"Bulavskij"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SIBCON.2019.8729633"},{"key":"ref56","volume-title":"QuickstepTM Language and Programming Guide","year":"2000"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/SIBIRCON48586.2019.8958258"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24773-9_2"},{"key":"ref59","first-page":"34","article-title":"Debugging applied PLC software in CoDeSys","volume-title":"Proc. Ind. Autom. Control Syst. Controllers","author":"Petrov"},{"issue":"7","key":"ref60","first-page":"12","article-title":"Multicore processors and programming","volume":"4","author":"Zyubin","year":"2005","journal-title":"Open Syst. J."},{"key":"ref61","first-page":"54","article-title":"Text and graphics: What language does programmer need?","volume":"1","author":"Zyubin","year":"2004","journal-title":"Open Syst. J."},{"key":"ref62","volume-title":"The Synthesis of Digital Automata","author":"Glushkov","year":"1962"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20040413"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39866-0_34"},{"key":"ref65","volume-title":"EasyVeep Handbuch Manual","year":"2003"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/EDM52169.2021.9507695"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09729833.pdf?arnumber=9729833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T19:06:15Z","timestamp":1708110375000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9729833\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":66,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3157601","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}