Rubio-Anguiano, L.E. Chils Trabanco, A. Briz Velasco, J.L. Ramírez-Trevino, A. Maximizing utilization and minimizing migration in thermal-aware energy-efficient real-time multiprocessor scheduling IEEE Access 10.1109/ACCESS.2021.3086698 2021 2021