Claiton Correa, Fernando Dotti, Paulo Fernandes, Eli Maruani, Lucas Oleksinski, and Afonso Sales. 2012.
 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>, abril 30, 2012, Ouro Preto/MG, Brasil. SBC, Porto Alegre, Brasil, 115-128. DOI: <a href="https://doi.org/10.5753/wtf.2012.23084">https://doi.org/10.5753/wtf.2012.23084</a>.