Traceability Execution Design