Jesus, Ygor, Magnos Martinello, and Eduardo Zambon.
"DETOX: Detecção de Inconsistências na Política de Segurança Implementada em Firewall Real." <em>Anais do XVII Workshop de Testes e Tolerância a Falhas,
Salvador/BA, 2016</em>. SBC, 2016,  
pp.63-76.