I. Introduction
Safety-critical systems have become a cornerstone of modern society. Many safety-critical systems are often involved in sequence-dependent failure behaviors due to complex redundancy design and management (e.g., aerospace systems, chemical process systems, and nuclear power plants). The failure of these dynamic systems depends not only on combinations of components but also the failure sequences of the components, and they typically play a key role in ensuring the safety of the whole system. Thus, it is very significant to precisely evaluate the reliability of these dynamic systems. The traditional static fault tree is a widely used method for performing reliability evaluations of various large-scale safety-critical systems due to its advantages of intuitiveness and ability to integrate analysis techniques [1], [2]. However, it cannot take into account sequential failure behaviors. In fact, it is not entirely reasonable for such safety-critical systems to simply regard a system failure as a combination of some component failures. To capture these sequential failure behaviors, DFTs [3], [4], [5] have been developed.