Application of shutdown probabilistic safety assessment · Study