Mialaret, Marco, Thiago Pinheiro, Antonio Neto, Pablo Philipe Pessoa, Paulo Pereira, Jamilson Ramalho Dantas, and Paulo Romero Martins Maciel. " Automated Reliability Analysis in Fog Computing Environment." Anais do I Workshop sobre Engenharia de Resiliência em Sistemas de Computação, Recife/PE, 2024. SBC, 2024, pp.19-24.