A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA | IEEE Conference Publication | IEEE Xplore