Thermal-aware real-time scheduling using timed continuous Petri Nets Academic Article in Scopus uri icon