Gas cooled reactor design and safety (IAEA Techn. Rep. Ser. ;, 1990)