Analytical Calculation and Rapid Simulation of Survival Signatures in Dynamic Fault Trees With Priority-AND Gates | IEEE Journals & Magazine | IEEE Xplore