Feitosa, Leonel, Rego, Paulo, E Silva, Francisco. " Avaliação de Desempenho de Migração ao Vivo de Contêineres com Redes de Petri Estocásticas" Anais do Workshop de Testes e Tolerância a Falhas (WTF) [Online], (26 maio 2023)