Estadisticas : A flexible framework for real-time thermal-aware schedulers using timed continuous petri nets