Model-based control of adaptive applications: an overview | IEEE Conference Publication | IEEE Xplore