robusttraceability.pdf