@article{DesirenaLópez:101199,
      author        = "Desirena López, G. and Rubio Anguiano, L.E. and Ramírez
                       Treviño, A. and Briz Velasco, J.L.",
      title         = "{A flexible framework for real-time thermal-aware
                       schedulers using timed continuous petri nets}",
      year          = "2019",
}