{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T00:24:14Z","timestamp":1723767854127},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T00:00:00Z","timestamp":1711324800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T00:00:00Z","timestamp":1711324800000},"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":[[2024,3,25]]},"DOI":"10.23919\/date58400.2024.10546563","type":"proceedings-article","created":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T17:28:02Z","timestamp":1723656482000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project"],"prefix":"10.23919","author":[{"given":"Michele","family":"Lora","sequence":"first","affiliation":[{"name":"University of Verona,Industrial Computer Engineering Laboratory,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Sebastiano","family":"Gaiardelli","sequence":"additional","affiliation":[{"name":"University of Verona,Industrial Computer Engineering Laboratory,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Chanwook","family":"Oh","sequence":"additional","affiliation":[{"name":"University of Southern California,Dept. of Electrical and Computer Engineering,Los Angeles,CA,U.S.A"}]},{"given":"Stefano","family":"Spellini","sequence":"additional","affiliation":[{"name":"Factoryal S.r.l.,San Giovanni Lupatoto,Italy"}]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[{"name":"University of Southern California,Dept. of Electrical and Computer Engineering,Los Angeles,CA,U.S.A"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[{"name":"University of Verona,Industrial Computer Engineering Laboratory,Dept. of Engineering for Innovation Medicine,Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2014.2312079"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1145821"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MSSC.2010.937693"},{"key":"ref4","first-page":"1","article-title":"Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism","volume-title":"Proc. of IEEEI\/ACM DATE 2024","author":"Xiao"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137069"},{"first-page":"1","article-title":"Task Assignment, Scheduling, and Motion Planning for Au-tomated Warehouses for Million Product Workloads","volume-title":"Proc. of IEEE\/RSJ IROS 2023","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549446"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342122"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00046"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613572"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE51582.2022.9831468"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774522"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-37852-3_4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2022.09.017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbusres.2021.08.011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2346133"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS51978.2022.9816919"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00757-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/FDL53530.2021.9568371"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.12700\/aph.13.6.2016.6.2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3038679"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2024.3352645"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i14.17466"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17344"}],"event":{"name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2024,3,25]]},"location":"Valencia, Spain","end":{"date-parts":[[2024,3,27]]}},"container-title":["2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10546498\/10546499\/10546563.pdf?arnumber=10546563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T04:29:15Z","timestamp":1723696155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10546563\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,25]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/date58400.2024.10546563","relation":{},"subject":[],"published":{"date-parts":[[2024,3,25]]}}}