An Algorithm for Reducing Cut Sets in Fault-Tree Analysis · Study