Toledo, Daniel, and Bruno Lopes. "Verificação de modelos Reo com nuXmv." Anais da III Escola Regional de Informática do Rio de Janeiro, Niterói, 2019. SBC, 2019, pp.33-36.