Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets | Publicación