Evaluation of Large Fault-Trees with Repeated Events Using an Efficient Bottom-Up Algorithm · Study