Bayesian Network Modeling for Dynamic Fault Tree