A Truncation Methodology for Evaluating Large Fault Trees · Study