A Flexible Framework for Real-Time Thermal-Aware Schedulers using Timed Continuous Petri Nets | Publicación