{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:01:30Z","timestamp":1740132090741,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/tr.2018.2864182","type":"journal-article","created":{"date-parts":[[2018,8,28]],"date-time":"2018-08-28T03:11:31Z","timestamp":1535425891000},"page":"583-598","source":"Crossref","is-referenced-by-count":2,"title":["A Method for Estimating the Probability of Extremely Rare Accidents in Complex Systems"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5515-124X","authenticated-orcid":false,"given":"Italo","family":"Romani de Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9132-4198","authenticated-orcid":false,"given":"Jeffery","family":"Musiak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1111\/0272-4332.00039"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.017"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.20.1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430320"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.3990\/1.9789036530156","article-title":"Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes","author":"everdij","year":"2010"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2012.04.018"},{"year":"2017","key":"ref37","article-title":"NLopt home page"},{"journal-title":"How to Measure Anything Finding the Value of &#x201C;Intangibles&#x201D; in Business","year":"2014","author":"hubbard","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2514\/6.2000-4362"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF00941892"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11587392_1"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1111\/0272-4332.00040"},{"key":"ref11","first-page":"xviii","author":"del moral","year":"2004","journal-title":"Feynman-Kac Formulae Genealogical and Interacting Particle Systems With Applications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5991305"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010091220143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-0146"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/wics.56"},{"key":"ref16","first-page":"343","author":"gamerman","year":"2006","journal-title":"Markov Chain Monte Carlo Stochastic Simulation for Bayesian Inference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0954410012444185"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2327753"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.probengmech.2009.03.002"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref4","first-page":"7","article-title":"IEC 61508: Functional safety of electrical\/electronic\/ progra-mmable electronic safety-related systems","year":"0","journal-title":"Proc 1st IEE Autom Electron Conf"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"year":"1996","key":"ref3","article-title":"ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-011-9231-6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393851"},{"year":"2001","key":"ref5","article-title":"ICAO doc 9574 - Manual on Implementation of a 300m (1000 ft) Vertical Separation Minimum Between FL 290 and FL 410 Inclusive"},{"article-title":"The splitting method in rare event simulation","year":"2000","author":"garvels","key":"ref8"},{"journal-title":"Fast Sequential Monte Carlo Methods for Counting and Optimization","year":"2014","author":"rubinstein","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44994-3_4"},{"key":"ref9","first-page":"463","article-title":"Accident risk assessment for advanced ATM","author":"blom","year":"2001","journal-title":"Air Transp Syst Eng"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.07.002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.strusafe.2011.05.002"},{"article-title":"System and method for detection of rare failure events","year":"2018","author":"romani de oliveira","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2013.07.047"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68829-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1080\/01969722.2011.595332"},{"year":"1980","key":"ref41","article-title":"MIL-F-8785C - Flying Qualities of Piloted Airplanes"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13268-1_15"},{"journal-title":"Computational Models Software Engineering and Advanced Technologies in Air Transportation","year":"2010","author":"wilson","key":"ref44"},{"key":"ref26","article-title":"Modelling of potential hazards in agent-based safety risk analysis","author":"blom","year":"0","journal-title":"Proc 1st USA\/Eur Air Traffic Manage Res Development Seminar"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0258(19970415)16:7<783::AID-SIM488>3.0.CO;2-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.12.017"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8727549\/08447278.pdf?arnumber=8447278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:03Z","timestamp":1657746843000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8447278\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2018.2864182","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2019,6]]}}}