A survey of dynamic methodologies for probabilistic safety assessment of nuclear power plants · Study