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