{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:38:30Z","timestamp":1771699110493,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,9]]},"DOI":"10.1109\/etfa65518.2025.11205687","type":"proceedings-article","created":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T17:07:47Z","timestamp":1761066467000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code"],"prefix":"10.1109","author":[{"given":"Akira","family":"King","sequence":"first","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA54631.2023.10275411"},{"key":"ref2","first-page":"38","article-title":"LLM-based control code generation using image recognition","volume-title":"Proceedings of the 1st International Workshop on Large Language Models for Code, LLM4Code \u201924","author":"Koziolek"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711113"},{"key":"ref4","article-title":"A survey on large language models for code generation","author":"Jiang","year":"2024"},{"key":"ref5","article-title":"The impact of AI on developer productivity: Evidence from GitHub Copilot","author":"Peng","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711156"},{"key":"ref7","article-title":"LLM-based iterative requirements refinement in FSM with IEC 61499 code generation","volume-title":"Proceedings of the 2025 IEEE International Conference on Industrial Informatics (INDIN)","author":"Vyatkin"},{"key":"ref8","article-title":"Understanding the effects of iterative prompting on truthfulness","author":"Krishna","year":"2024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2018.00492.x"},{"key":"ref10","volume-title":"STPA handbook","author":"Leveson","year":"2018"},{"key":"ref11","first-page":"6","article-title":"The IEC 61499 function block standard: Overview of the second edition","volume":"6","author":"Christensen","year":"2012","journal-title":"ISA autom. Week"}],"event":{"name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Porto, Portugal","start":{"date-parts":[[2025,9,9]]},"end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11205475\/11205526\/11205687.pdf?arnumber=11205687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T05:34:53Z","timestamp":1761111293000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/etfa65518.2025.11205687","relation":{},"subject":[],"published":{"date-parts":[[2025,9,9]]}}}