L. Feitosa, P. Rego, and F. Silva. "Avaliação de Desempenho de Migração ao Vivo de Contêineres com Redes de Petri Estocásticas", in Anais do XXIV Workshop de Testes e Tolerância a Falhas, Brasília/DF, 2023, pp. 94-107, doi: https://doi.org/10.5753/wtf.2023.781.