Correa, Claiton, Fernando L. Dotti, Paulo Fernandes, Eli Maruani, Lucas G. Oleksinski, and Afonso Sales.
"Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos." <em>Anais do XIII Workshop de Testes e Tolerância a Falhas,
Ouro Preto/MG, 2012</em>. SBC, 2012,  
pp.115-128.