Worst-case temperature analysis for real-time systems