Technical note: rewriting the standard on the functional requirements for computers used in safety systems of nuclear power plants. - Matras, J. R. (Nuclear Safety, 1991)