ALVES, Danilo da Silva; FERREIRA, Oseias Ayres; DUARTE, Lucio Mauro; MAIA, Paulo Henrique. Probabilistic Model-Based Analysis to Improve Software Energy Efficiency. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 34. , 2020, Natal. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 .