"ELRAFT" A Computer Program for the Efficient Logic Reduction Analysis of Fault Trees · Study