PERATURAN_BAPETEN
Peraturan Badan Nomor 1 Tahun 2011 tentang KETENTUAN KESELAMATAN DESAIN REAKTOR NONDAYA
Pasal 85
BAB 2 — PERSYARATAN DESAIN
(1) Sistem pendingin reaktor harus didesain agar teras tetap terendam. (2) Untuk reaktor yang didesain menggunakan katup pasif (flapper) sebagai bagian dari sistem keselamatan harus diterapkan prinsip redundansi.