Analytical Method to Determine Uncertainty Propagation in Fault Trees by Means of Binary Decision Diagrams | IEEE Journals & Magazine | IEEE Xplore