Design for reactor core safety in nuclear power plants : a safety guide (Safety series. IAEA Safety guides, 1986)