SAPEVO-M-NC: desenvolvimento do modelo axiomático e implementação computacional de uma ferramenta para o apoio à tomada de decisão - uma aplicação na seleção de Veículos Autônomos Submarinos para a Marinha do Brasil