Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio - Pereira Júnior, Matheus (2016)