Dependency Link Derivation Process and Theorems of Requirements Traceability Matrix
Toward improved traceability of non-functional requirements