A model-based design of Cyber-Physical Energy Systems | IEEE Conference Publication | IEEE Xplore