A Stochastic Approach for the Analysis of Fault Trees With Priority AND Gates | IEEE Journals & Magazine | IEEE Xplore