An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, ... Reliability Engineering and System Safety]