Quantitative analysis of a fault tree with priority AND gates · Study