A framework to model self-adaptive Computing Systems | IEEE Conference Publication | IEEE Xplore