Recovering Traceability Links between Requirement Artefacts: a Case Study