Tool-Based Requirement Traceability between Requirement and Design Artifacts