Advanced combinatorial method for solving complex fault trees · Study