Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
Assis, Fábio Henrique De
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-07-08
Acesso online. A biblioteca também possui exemplares impressos.