Ruijtersand Stoelinga. Fault Tree Analysis: A Survey of the State-of-the-art in Modeling, Analysis and Tools. Elsevier BV, 2015, doi:10.1016/j.cosrev.2015.03.001.