Constructing Self-Adaptive Systems Using a KAOS Model | IEEE Conference Publication | IEEE Xplore