An overview of traceability: Definitions and techniques | IEEE Conference Publication | IEEE Xplore