{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T07:03:42Z","timestamp":1725779022705},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"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,4,15]]},"DOI":"10.1109\/syscon61195.2024.10553543","type":"proceedings-article","created":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T17:55:15Z","timestamp":1718646915000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Bedini","sequence":"first","affiliation":[{"name":"Technische Universität Ilmenau,Systems & Software Engineering,Ilmenau,Germany"}]},{"given":"Timo","family":"R\u00e4th","sequence":"additional","affiliation":[{"name":"Technische Universität Ilmenau,Databases & Information Systems,Ilmenau,Germany"}]},{"given":"Ralph","family":"Maschotta","sequence":"additional","affiliation":[{"name":"Technische Universität Ilmenau,Systems & Software Engineering,Ilmenau,Germany"}]},{"given":"Kai-Uwe","family":"Sattler","sequence":"additional","affiliation":[{"name":"Technische Universität Ilmenau,Databases & Information Systems,Ilmenau,Germany"}]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[{"name":"Technische Universität Ilmenau,Systems & Software Engineering,Ilmenau,Germany"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/288197.581193"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for System Engineering.","author":"Girault","year":"2003"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1177\/1687814018808170"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/11538394_15"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1002\/sys.21524"},{"year":"2023","article-title":"Unified modeling language specification","key":"ref6"},{"year":"2023","article-title":"OMG system modeling language","key":"ref7"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","article-title":"The architecture analysis & design language (aadl): An introduction","volume-title":"Carnegie Mellon University, Software Engineering Institute\u2019s Digital Library, Carnegie Mellon University, Tech. Rep. CMU\/SEI-2006-TN-011","author":"Feiler","year":"2006"},{"volume-title":"DSL engineering-designing, implementing and using domain-specific languages.","year":"2013","author":"Voelter","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-031-02549-5"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.5220\/0012357000003645"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-540-74173-2_6"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/WSC.2015.7408155"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/s002360050095"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/3583678.3603280"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-319-29817-7_9"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/iri.2017.64"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/3524860.3543283"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/MS.2003.1231154"},{"volume-title":"EMF: eclipse modeling framework.","year":"2008","author":"Steinberg","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-540-74173-2_6"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-540-74173-2"},{"year":"2023","article-title":"Semantics of a foundational subset for executable uml models","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.5220\/0007371402980306"},{"year":"2023","article-title":"Mof query\/view\/transformation","key":"ref25"},{"year":"2023","article-title":"The official page of the TimeNET tool project","key":"ref26"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/0166-5316(95)00010-U"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/11841883_19"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/978-3-540-31984-9_5"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1007\/s10270-006-0018-8"}],"event":{"name":"2024 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2024,4,15]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2024,4,18]]}},"container-title":["2024 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10553374\/10553399\/10553543.pdf?arnumber=10553543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T19:13:48Z","timestamp":1719342828000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10553543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,15]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/syscon61195.2024.10553543","relation":{},"subject":[],"published":{"date-parts":[[2024,4,15]]}}}