Toledo, D., & 		Lopes, B.
2019 abr 20.  Verificação de modelos Reo com nuXmv. Anais da Escola Regional de Informática do Rio de Janeiro (ERI-RJ). [Online] :