{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:51:03Z","timestamp":1755219063301,"version":"3.43.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"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":[[2018,11]]},"DOI":"10.1109\/icsrs.2018.8688851","type":"proceedings-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T18:26:22Z","timestamp":1555352782000},"page":"400-407","source":"Crossref","is-referenced-by-count":3,"title":["Reliability Assessment of Phased-Mission Systems with AltaRica 3.0"],"prefix":"10.1109","author":[{"given":"Michel","family":"Batteux","sequence":"first","affiliation":[{"name":"IRT SystemX, Palaiseau, France"}]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[{"name":"LGI, CentraleSupélec, Université Paris-Saclay, Gif-sur-Yvette, France"}]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[{"name":"NTNU, MTP, Trondheim, Norway"}]},{"given":"Liu","family":"Yang","sequence":"additional","affiliation":[{"name":"NTNU, MTP, Trondheim, Norway"}]}],"member":"263","reference":[{"journal-title":"CESAM CESAMES Systems Architecting Method A Pocket Guide CESAMES","year":"2017","author":"krob","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.05.010"},{"journal-title":"Prototype-Based Programming Concepts Languages and Applications","year":"1999","author":"noble","key":"ref12"},{"key":"ref13","first-page":"127","article-title":"The altarica 3.0 project for model-based safety assessment","author":"prosvirnova","year":"2013","journal-title":"Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems DCDS'2013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2015.068852"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR177"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-131-2_23"},{"key":"ref17","article-title":"The Monte Carlo Simulation Method for System Reliability and Risk Analysis","author":"zio","year":"2013","journal-title":"Springer Series in Reliability Engineering"},{"key":"ref4","article-title":"Altarica 3.0 in 10 modeling patterns","author":"batteux","year":"2018","journal-title":"International Journal of Critical Computer-Based Systems (IJCCBS)"},{"key":"ref3","article-title":"Towards a defintion of an evaluation kit for stochastic simulators","author":"aupetit","year":"2016","journal-title":"LambdaMu 20"},{"key":"ref6","article-title":"S2ml for structuring models","author":"batteux","year":"2018","journal-title":"4th IEEE International Symposium on Systems Engineering ISSE 2018"},{"key":"ref5","article-title":"Altarica wizard: an integrated modeling and simulation environment for altarica 3.0","author":"batteux","year":"2018","journal-title":"LambdaMu 21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.02.009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/1748006X17728209"},{"journal-title":"A Theory of Objects","year":"1998","author":"abadi","key":"ref2"},{"journal-title":"Systems and Software Engineering - Architecture Description","year":"2011","key":"ref1"},{"journal-title":"Principles of ObjectOriented Modeling and Simulation with Modelica 3 3 A CyberPhysical Approach","year":"2015","author":"fritzson","key":"ref9"}],"event":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2018,11,23]]},"location":"Barcelona, Spain","end":{"date-parts":[[2018,11,25]]}},"container-title":["2018 3rd International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8672656\/8688712\/08688851.pdf?arnumber=8688851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T17:57:44Z","timestamp":1754503064000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8688851\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsrs.2018.8688851","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}