SWE.4.BP5 Establish bidirectional traceability
SWE.4.O.4 Consistency and bidirectional traceability are established between software units, criteria for verification and verification results