Specification and Analysis of Software Architectures by Tianjun Shi