Verificação formal de um protocolo de rede sem fio através de model checking - Rosas, Fabiano Almeida (2014)