@article{Desirena-López:79766,
author = "Desirena-López, G. and Ramírez-Treviño, A. and Briz
Velasco, J.L. and Vázquez, C.R. and Gómez-Gutiérrez, D.",
title = "{Thermal-aware real-time scheduling using timed continuous
Petri Nets}",
year = "2019",
}