Formalizing 'traceability' for architectural evolutionsLiang-Jie ZhangVishal Dwivediet al.2010APSCC 2010