Reliability analysis of dynamic fault trees with Priority-AND gates based on irrelevance coverage model. (August 2022)