BS EN IEC 60880. Nuclear power plants. Instrumentation and control systems important to safety. Software aspects for computer-based systems performing category A function