Towards scalable compositional analysis by refactoring design models. - Yung-Pin Cheng; Michal Young; Che-Ling Huang; Chia-Yi Pan (ESEC / SIGSOFT FSE, 2003)