“…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]. Typically, the TE represents the failure of a complex system, while BEs represent the failure of parts or components within the main system.…”