Development of Probabilistic Safety Assessment with respect to the first demonstration nuclear power plant of high temperature gas cooled reactor in China · Study