Proved Metamodels as Backbone for Software Adaptation | IEEE Conference Publication | IEEE Xplore