On refinement of software architectures - Meng, Sun (2005)