Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:5, pp:837-872 [Journal]