{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T19:17:48Z","timestamp":1735586268648},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"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":[[2023,11,22]]},"DOI":"10.1109\/icsrs59833.2023.10381356","type":"proceedings-article","created":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T14:33:05Z","timestamp":1704724385000},"page":"376-383","source":"Crossref","is-referenced-by-count":1,"title":["Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis"],"prefix":"10.1109","author":[{"given":"Isabella","family":"Lanzani","sequence":"first","affiliation":[{"name":"Politecnico di Milano,Department of Electronics, Information and Bioengineering (DEIB),Milano,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Scattolini","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Department of Electronics, Information and Bioengineering (DEIB),Milano,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Zio","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Energy department,Milano,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler,Povo,Trento,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bozzano","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler,Povo,Trento,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler,Povo,Trento,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00532-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.003"},{"volume-title":"Emmanuel Clement. Arbre Analyste website","year":"2023","key":"ref3"},{"volume-title":"Condor Engineering. ARINC protocol Tutorial Manual","year":"2010","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-021-00562-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2017.01.058"},{"volume-title":"The SMV specification language","author":"Fondazione","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3193495"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979344"},{"volume-title":"AltaRica 3.: a Model-Based approach for Safety Analyses","year":"2014","author":"Prosvirnova","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-UK-4041.00028"},{"volume-title":"XFTA An Open-PSA Fault Tree Engine","year":"2012","author":"Rauzy","key":"ref12"},{"volume-title":"DO-254\/ED-80: Design Assurance for Airborne Electronic Hardware","year":"2000","key":"ref13"},{"volume-title":"DO-178C\/ED-12C: Software Considerations in Airborne Systems and Equipment Certification","year":"2012","key":"ref14"},{"volume-title":"ARP4761A: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","key":"ref15"},{"volume-title":"ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","year":"1996","key":"ref16"},{"volume-title":"ARP 4754A: Guidelines for Development of Civil Aircraft and Systems","year":"2010","key":"ref17"},{"volume-title":"AltaRica 3.0 Language Specification","year":"2020","author":"Prosvirnova","key":"ref18"}],"event":{"name":"2023 7th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2023,11,22]]},"location":"Bologna, Italy","end":{"date-parts":[[2023,11,24]]}},"container-title":["2023 7th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10380806\/10380972\/10381356.pdf?arnumber=10381356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:03:50Z","timestamp":1706058230000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10381356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,22]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icsrs59833.2023.10381356","relation":{},"subject":[],"published":{"date-parts":[[2023,11,22]]}}}