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