{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T20:50:04Z","timestamp":1775681404423,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"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,10,14]]},"DOI":"10.1109\/iecon58223.2025.11221851","type":"proceedings-article","created":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T18:48:46Z","timestamp":1762454926000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations"],"prefix":"10.1109","author":[{"given":"Michael","family":"Winter","sequence":"first","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bowen","family":"Chen","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Kleinert","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1039\/d3gc00471f"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ces.2016.02.037"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2022.133891"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843025"},{"key":"ref5","article-title":"Information model for capabilities, skills & services","author":"Diedrich","year":"2022"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/etfa54631.2023.10275507"},{"key":"ref7","volume-title":"ANSI\/ISA\u2013 88.00.01: Batch control part 1: Models and terminology","year":"2010"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2023-0223"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10710847"},{"key":"ref10","article-title":"Automated Process Planning Based on a Semantic Capability Model and SMT","volume-title":"CAIPI Workshop at AAAI 2024","author":"K\u00f6cher"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2022-0117"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2015-0015"},{"key":"ref14","article-title":"Capabilities, Skills and Services - CSS Model Extensions and Engineering Methodology","author":"Bock"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-63965-3.50384-6"},{"key":"ref16","article-title":"B2MML-BatchML"},{"key":"ref17","article-title":"Details of the Asset Administration Shell. Part 1 - The exchange of information between partners in the value chain of Industrie 4.0 (Version 3.0RC02)","year":"2022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-929-5-825"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2022-0112"},{"key":"ref20","volume-title":"PDDL - The Planning Domain Denition Language","author":"Ghallab","year":"1998"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2021.04.016"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.5220\/0001504902550262"}],"event":{"name":"IECON 2025 \u2013 51st Annual Conference of the IEEE Industrial Electronics Society","location":"Madrid, Spain","start":{"date-parts":[[2025,10,14]]},"end":{"date-parts":[[2025,10,17]]}},"container-title":["IECON 2025 \u2013 51st Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11220977\/11220985\/11221851.pdf?arnumber=11221851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T20:01:07Z","timestamp":1775678467000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11221851\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,14]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iecon58223.2025.11221851","relation":{},"subject":[],"published":{"date-parts":[[2025,10,14]]}}}