A Safety Assessment Methodology for a Digital Reactor Protection System · Study