a method for analyzing the properties of software architectures, Proceedings of the 16th international conference on Software engineering, p
Mike Webb G
Test and analysis of software architectures