Enabling Self-Management by Using Model-Based Design Space Exploration | IEEE Conference Publication | IEEE Xplore