Gualhano, M., 		Vera, A., & 		Medeiros Junior, R.
(2014).
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>, (pp. 65-68). Porto Alegre: SBC.