High-quality specification of self-adaptive software systems | IEEE Conference Publication | IEEE Xplore