Reliability analysis of dynamic fault trees with Priority-AND gates using conditional binary decision diagrams · Study