GreenContinuum: A Formal Model of a Smart Grid-Aware Edge-Cloud Continuum for Carbon and Energy Management. - Rohail Gulbaz; Paul Townend; Per-Olov Östberg (CloudCom, 2025)