{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:33:53Z","timestamp":1761489233179},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/indin.2013.6622976","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T17:49:48Z","timestamp":1382032188000},"source":"Crossref","is-referenced-by-count":41,"title":["The AltaRica 3.0 project for model-based safety assessment"],"prefix":"10.1109","author":[{"given":"Michel","family":"Batteux","sequence":"first","affiliation":[]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[]},{"given":"Leila","family":"Kloul","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","author":"noble","year":"1999","journal-title":"Prototype-Based Programming Concepts Languages and Applications"},{"key":"22","article-title":"Expe?riences de couplages de mode?les AltaRica avec des interfaces me?tiers","author":"perrot","year":"2010","journal-title":"Actes du Congre?s LambdaMu'17 (Actes E?lectroniques)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","author":"feiler","year":"2006","journal-title":"The Architecture Analysis &Design Language (AADL) An Introduction"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.24"},{"key":"16","author":"fritzson","year":"2004","journal-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2 1"},{"key":"13","article-title":"Knowledge modelling and reliability processing: Presentation of the figaro modelling language and associated tools","author":"bouissou","year":"1991","journal-title":"Proceedings of SafeComp'91"},{"key":"14","article-title":"Automated dependability analysis of complex systems with the kb3 workbench: The experience of edf r&d","author":"bouissou","year":"2005","journal-title":"Proceedings of the International Conference on Energy and Environment"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"12","first-page":"431","author":"david","year":"2010","journal-title":"Reliability Study of Complex Physical Systems Using Sysml"},{"key":"21","article-title":"Anatomy of an efficient fault tree assessment engine","author":"rauzy","year":"2012","journal-title":"Proceedings of International Joint Conference PSAM'11\/ESREL'12"},{"key":"3","article-title":"Experiments in model-based safety analysis: Flight controls","author":"bernard","year":"2007","journal-title":"Proc 2nd IFAC Workshop on Dependable Control of Discrete Systems"},{"key":"20","article-title":"Overview of the open psa platform","author":"hibti","year":"2012","journal-title":"Proceedings of International Joint Conference PSAM'11\/ESREL'12"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2004.12.004"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00042-X"},{"key":"10","first-page":"688","article-title":"Hierarchically performed hazard origin and propagation studies","author":"pasquini","year":"1999","journal-title":"Computer Safety Reliability and Security 1698 of LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR177"},{"key":"6","article-title":"Altarica refinement for heterogeneous granularity model analysis","author":"bernard","year":"2008","journal-title":"Actes du Congre?s Lambda-Mu'16"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2009.4914676"},{"key":"4","article-title":"Integration of formal fault analysis in assert: Case studies and lessons learnt","author":"bieber","year":"2008","journal-title":"Proc 2nd Eur Congr Embedded Real Time Soft"},{"key":"9","author":"feiler","year":"2007","journal-title":"Dependability Modeling with the Architecture Analysis &Design Language (Aadl)"},{"key":"8","author":"prosvirnova","year":"2012","journal-title":"Guarded Transition Systems Pivot Modelling Formalism for Safety Analysis"}],"event":{"name":"2013 IEEE 11th International Conference on Industrial Informatics (INDIN)","location":"Bochum, Germany","start":{"date-parts":[[2013,7,29]]},"end":{"date-parts":[[2013,7,31]]}},"container-title":["2013 11th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6599026\/6622844\/06622976.pdf?arnumber=6622976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T19:34:39Z","timestamp":1564515279000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6622976\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/indin.2013.6622976","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}