An algorithm for fault-tree probabilities using the factoring theorem · Study