publicações selecionadas Checagem de arquitetura de controle de robôs submarinos: uma abordagem utilizando especificações formais
