Traceability-Centered Integrity Control