Dependency Link Derivation Process and Theorems of Requirements Traceability Matrix
Goal-centric traceability for managing non-functional requirements