Toledo, D., & Lopes, B. (2019). Verificação de modelos Reo com nuXmv. In Anais da III Escola Regional de Informática do Rio de Janeiro, (pp. 33-36). Porto Alegre: SBC.