Towards Formal Fault Tree Analysis using Theorem Proving. - Ahmad, Waqar; Hasan, Osman (CoRR, 2015)