A review on the realization methods of dynamic fault tree · Study