A framework for model-based design of embedded systems for energy management | IEEE Conference Publication | IEEE Xplore