Toledo, Daniel, E 		Lopes, Bruno.
" Verificação de modelos Reo com nuXmv" <em>Anais da Escola Regional de Informática do Rio de Janeiro (ERI-RJ)</em> [Online], (20 abril 2019)