Power and Thermal-Aware Scheduling for Real-time Computing Systems: from theory to application