Software reliability and safety in nuclear reactor protection systems