Basic transition translation traceability joins in pair design.pdf