Formalizing compound MAPE patterns for decentralized control in self-adaptive systems | IEEE Conference Publication | IEEE Xplore