"ELRAFT" A Computer Program for the Efficient Logic Reduction Analysis of Fault Trees | IEEE Journals & Magazine | IEEE Xplore