Dynamic high-level in self-adaptive systems | IEEE Conference Publication | IEEE Xplore