Integrating Non-Functional Properties to Architecture Specification and Analysis | IEEE Conference Publication | IEEE Xplore