{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T22:38:16Z","timestamp":1761172696837,"version":"build-2065373602"},"reference-count":17,"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.11205753","type":"proceedings-article","created":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T17:07:47Z","timestamp":1761066467000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["LLM-Driven Requirements Formalization for Model-Driven Manufacturing Systems"],"prefix":"10.1109","author":[{"given":"Ranjitkumar","family":"Gudder","sequence":"first","affiliation":[{"name":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paula","family":"H\u00fcnecke","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arndt","family":"L\u00fcder","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2021-3076"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1376"},{"volume-title":"Handbook for the CPRE Foundation Level according to the IREB Standard: Education and Training for Certified Professional for Requirements Engineering (CPRE) Foundation Level","year":"2020","author":"Glinz","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s13369-020-05159-1"},{"volume-title":"Guide to Writing Requirements","year":"2023","author":"Ryan","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/pds.2023.277"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3567512.3567534"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-55642-5_6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/systems.2009.4815831"},{"volume-title":"Handbook for the IREB Certified Professional for Requirements Engineering \u2013 Advanced Level \u201cRequirements Management\u201d","year":"2015","author":"B\u00fchne","key":"ref10"},{"volume-title":"Just Enough Requirements Management: Where Software Development Meets Marketing","year":"2005","author":"Davis","key":"ref11"},{"volume-title":"Kernel Modeling Language (KerML), Version 1.0 Beta1","year":"2023","key":"ref12"},{"article-title":"The Design Science Research Process: A Model for Producing and Presenting Information Systems Research","volume-title":"1st International Conference, DESRIST 2006 Proceedings","author":"Peffers","key":"ref13"},{"article-title":"SCARA Robot \u2014 How To Build Your Own Arduino Based Robot","volume-title":"HowToMechatronics","author":"Nedelkovski","key":"ref14"},{"volume-title":"NASA Systems Engineering Handbook","year":"2017","author":"Hirshorn","key":"ref15"},{"key":"ref16","first-page":"848","volume-title":"Systems Engineering and Analysis","author":"Blanchard","year":"2013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3444689"}],"event":{"name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2025,9,9]]},"location":"Porto, Portugal","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\/11205753.pdf?arnumber=11205753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T05:25:07Z","timestamp":1761110707000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205753\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/etfa65518.2025.11205753","relation":{},"subject":[],"published":{"date-parts":[[2025,9,9]]}}}