The Boolean equation represents the main event to analyse, e.g., the wind turbine failure, and it is obtained by BDDs that come from the fault tree. The ordering algorithm for the construction of the BDD has a crucial effect on its size, and therefore the computational cost. The ...