Dynamic Logical Analytical Methodology Versus Fault Tree: The Case Study of the Auxiliary Feedwater System of a Nuclear Power Plant · Study