Automated traceability analysis for UML model refinements. - Briand, Lionel C.; Labiche, Yvan; Yue, Tao (Information & Software Technology, 2009)