Negociação-Colaboração nas Revisões Técnicas Formais de Especificações Funcionais | IEEE Conference Publication | IEEE Xplore