Formal Models for the Energy-Aware Cloud-Edge Computing Continuum: Analysis and Challenges | IEEE Conference Publication | IEEE Xplore