Specification and Analysis of Software Architectures door Tianjun Shi