An Explanatory Case Study about the Maintenance Effectiveness of Traceability Models