Gas-cooled reactor safety and accident analysis. (IAEA, 1985)