C. Correa, F. Dotti, P. Fernandes, E. Maruani, L. Oleksinski, and A. Sales.
" Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos", in <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, Ouro Preto/MG, 2012, pp. 115-128, doi: <a href="https://doi.org/10.5753/wtf.2012.23084">https://doi.org/10.5753/wtf.2012.23084</a>.