Software reliability and safety in nuclear reactor protection systems | lit.salon