13-22 Traceability record
SWE.4.O.4 Consistency and bidirectional traceability are established between software units, criteria for verification and verification results