Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events | IEEE Journals & Magazine | IEEE Xplore