Gas cooled reactor design and safety (Internat. Atomic Energy Agency, 1990)