Feitosa, Leonel, Paulo A. L. Rego, and Francisco Airton Silva. "Avaliação de Desempenho de Migração ao Vivo de Contêineres com Redes de Petri Estocásticas." Anais do XXIV Workshop de Testes e Tolerância a Falhas, Brasília/DF, 2023. SBC, 2023, pp.94-107.