An Analysis of the Requirements Traceability Problem