@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",
}