D. Toledo and B. Lopes.
"Verificação de modelos Reo com nuXmv", in <em>Anais da III Escola Regional de Informática do Rio de Janeiro</em>, Niterói, 2019, pp. 33-36.