New Algorithms for the Synthesis and Analysis of Fault Trees · Study