An Algorithm for Exact Fault-Tree Probabilities without Cut Sets · Study