5Chang Y R,Amari SV,Kuo S Y.Computing system failure frequencies and reliability importance measure using OBDD[J].IEEE Transactions on Computers,2004,53(1):54-68.
6Xing L D.An efficient Binary.Decision.Diagram-Based approach for network reliability and sensitivity analysis[J].IEEE Transactions on Systems,Man,and Cybernetics--Part A:Systems and Humans,2008,38(1):105-115.
7Andrija Volkanovski,Marko Cepina,Borut Mavko.Application of the fault tree analysis for assessment of power system reliability[J].Reliability Engineering & System Safety,2009,94(6):1116-1127.
8Bryant R E.Symbolic boolean manipulation with ordered binary decision diagrams[J].ACM Computing Surveys,1992,24(3).293-318.
