An Algorithm for Reducing Cut Sets in Fault-Tree Analysis | IEEE Journals & Magazine | IEEE Xplore