André Fávero and Raul Weber. 2005.
 Uma Metodologia para Verificação de Filtros de Pacotes. In <em>Anais do V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, setembro 26, 2005, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 351-354. DOI: <a href="https://doi.org/10.5753/sbseg.2005.21556">https://doi.org/10.5753/sbseg.2005.21556</a>.