@misc{indiciaee2539bdbb362,
  title = {Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking},
  author = {Yassmeen Elderhalli and Osman Hasan and Waqar Ahmad and Sofiene Tahar},
  year = {2017},
  url = {https://arxiv.org/abs/1712.02872},
  note = {Source identifier: 1712.02872}
}