An exploratory case study of the maintenance effectiveness of traceability models | IEEE Conference Publication | IEEE Xplore