“…Note that the AND gate triggers when both of the input BEs have occurred, while the OR gate triggers when at least one of the input BEs has occurred. In addition to quantitative analysis enabled by the calculation of TE probability, FTA allows for qualitative analysis of the minimal cut sets (MCS), which are the sets containing the minimum number of BEs to ensure the occurrence of a TE [29] (for example, the minimal cut sets for the FT shown in Figure 2 There have been several approaches for quantitative analysis of FT proposed in the literature, such as state-space models [30][31][32], simulation methods [29,33,34], algebraic approaches [35,36], and commercial software tools and model checkers such as Galileo [37], Coral [38], DFTCalc [39], and Storm [40], among others [41]. Although research effort that has been dedicated to FTA, the methodology does have a number of issues [42,43].…”