Effective requirements traceability: Models, tools, and practices | Nokia Bell Labs Journals & Magazine | IEEE Xplore