Farid Cerbah Jérôme Euzenat Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements. 115-126 2000 conf/nldb/2000 NLDB http://link.springer.de/link/service/series/0558/bibs/1959/19590115.htm db/conf/nldb/nldb2000.html#CerbahE00