An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree | IEEE Conference Publication | IEEE Xplore