A Stochastic Approach for the Analysis of Fault Trees With Priority AND Gates · Study