Dependable Software-Optimized Energy Management for IoT-Enabled Smart Buildings. - Aycha Abid; Amine Barrak; Issouf Bakayoko; Fehmi Jaafar; David Rancourt (SERP4IoT, 2025)