{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:49:12Z","timestamp":1730274552520,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1109\/isie51358.2023.10228129","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:30:24Z","timestamp":1693503024000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Debugging approach for IEC 61499 control applications in FBME"],"prefix":"10.1109","author":[{"given":"Daniil","family":"Akifev","sequence":"first","affiliation":[{"name":"Independent researcher"}]},{"given":"Tatiana","family":"Liakh","sequence":"additional","affiliation":[{"name":"Lulea Tekniska Universitet,Department of Computer Science Computer and Space Engineering,Sweden"}]},{"given":"Polina","family":"Ovsiannikova","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Radimir","family":"Sorokin","sequence":"additional","affiliation":[{"name":"Independent researcher"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Lulea Tekniska Universitet,Department of Computer Science Computer and Space Engineering,Sweden"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613491"},{"year":"2022","key":"ref12","article-title":"Ecostruxure™ automation expert: Software-centric industrial automation system"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN51773.2022.9976176"},{"article-title":"Model Checking","year":"2018","author":"clarke","key":"ref14"},{"year":"2020","key":"ref11","article-title":"Rockwell automation – ISaGRAF technology"},{"year":"2020","key":"ref10","article-title":"4diac forte – iec 61499 runtime environment"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/TII.2011.2166785","article-title":"IEC 61499 as enabler of distributed and intelligent automation: State-of-the-art review","volume":"7","author":"valeriy","year":"2011","journal-title":"IEEE Transactions on Industrial Informatics"},{"journal-title":"International Standard","article-title":"IEC 61449-1: Function blocks – part 1: Architecture","year":"2012","key":"ref1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN45523.2021.9557416"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN45523.2021.9557513"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005209"},{"year":"2020","key":"ref4","article-title":"Function blocks modelling environment (fbme)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2018.1510558"},{"year":"2020","key":"ref6","article-title":"Jetbrains mps – meta programming system"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.04.233"}],"event":{"name":"2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2023,6,19]]},"location":"Helsinki, Finland","end":{"date-parts":[[2023,6,21]]}},"container-title":["2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10227852\/10227910\/10228129.pdf?arnumber=10228129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T17:53:23Z","timestamp":1695664403000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10228129\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/isie51358.2023.10228129","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]}}}