SAAM: a method for analyzing the properties of software architectures | IEEE Conference Publication | IEEE Xplore