M. Gualhano, A. Vera, and R. Medeiros Junior.
" Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais", in <em>Proceedings of the 2nd National Computing Meeting of Federal Institutes</em>, Brasília, 2014, pp. 65-68.