1Dugan J B, Bavuso S J, Boyd M A. Dynamic Fault-tree Models for.
2t-tolerant Computer Systems[J]. IEEE Transactions on Reliability, 1992, 41(3): 363-377.
3Merle G, Roussel J M. Algebraic Modeling of Fault Trees with Priority and Gates[C] //Proc. of the 1st IFAC Workshop on Dependable Control of Discrete Systems. Cachan, France: [s. n.] , 2007: 175-180.
