Essential information required for an engineering and probabilistic assessment of a reactor protection system | IEEE Journals & Magazine | IEEE Xplore