D. Alves, O. Ferreira, L. Duarte, and P. Maia. "Probabilistic Model-Based Analysis to Improve Software Energy Efficiency", in Anais do XXXIV SimpĆ³sio Brasileiro de Engenharia de Software, Natal, 2020.