Evaluation of Large Fault-Trees with Repeated Events Using an Efficient Bottom-Up Algorithm | IEEE Journals & Magazine | IEEE Xplore