@article{towardsformalfaulttreeanalysisusing,
  title = {Towards Formal Fault Tree Analysis using Theorem Proving},
  author = {Waqar Ahmed and Osman Hasan},
  year = {2015},
  eprint = {1505.02648},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1505.02648v1},
}