Quantitative Tradeoff Analysis of Software Architecture Using the Architecture Analysis and Design Language | IEEE Conference Publication | IEEE Xplore