Analysis of Large Fault Trees based on Simplified BDD Algorithm
Wei Liu, Yong Zhou, Hongmei Xie, and Zhengxian Wei
Int J Performability Eng . 2017, (6): 796 -806 .  DOI: 10.23940/ijpe.17.06.p2.796806