Workshop on Evaluation and Check of Traceability: Basic Aspects and Experimental Results