Gualhano, Mariana, Ausberto Vera, and Roberto Medeiros Junior.
" Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais." <em>Anais do II Encontro Nacional de Computação dos Institutos Federais,
Brasília, 2014</em>. SBC, 2014,  
pp.65-68.