Spec for ProR-based Traceability