{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T18:02:21Z","timestamp":1761847341736,"version":"build-2065373602"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"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,17]]},"DOI":"10.1109\/ds-rt68115.2025.11185950","type":"proceedings-article","created":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T17:31:15Z","timestamp":1761672675000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Formal Fragmentation of RAMSAS for Modular and Distributed Reliability Analysis via Simulation"],"prefix":"10.1109","author":[{"given":"Alfredo","family":"Garro","sequence":"first","affiliation":[{"name":"University of Calabria,DInCi Department,Rende,Italy"}]},{"given":"Alessandro","family":"Sorrenti","sequence":"additional","affiliation":[{"name":"University of Calabria,DInCi Department,Rende,Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.02.006"},{"key":"ref2","article-title":"A model-based method for system reliability analysis","volume-title":"Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, ser. TMS\/DEVS,","volume":"11","author":"Garro"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384175"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2013.06.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2321617"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2012.09.005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01059-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2024.06.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2007.013266"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054236"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2000296"},{"key":"ref12","article-title":"Software process engineering meta-model","author":"Schuppenies","year":"2002","journal-title":"OMG group"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44564-1_6"},{"volume-title":"OMG Systems Modeling Language (OMG SysML)","year":"2019","key":"ref14"},{"volume-title":"Communicating and mobile systems: the pi calculus","year":"1999","author":"Milner","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0619-4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3203805"},{"key":"ref19","article-title":"Performing fault tree analysis of a modelica-based system design through a probability model","volume-title":"Proceedings of the International Workshop on Applied Modeling and Simulation (WAMS), Buenos Aires, Argentina","volume":"120","author":"Tundis"}],"event":{"name":"2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2025,9,17]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2025,9,19]]}},"container-title":["2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11185057\/11185078\/11185950.pdf?arnumber=11185950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:57:29Z","timestamp":1761847049000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11185950\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,17]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ds-rt68115.2025.11185950","relation":{},"subject":[],"published":{"date-parts":[[2025,9,17]]}}}