Gualhano, M., 		Vera, A., & 		Medeiros Junior, R.
2014 jul 28.  Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais. Anais do Encontro Nacional de Computação dos Institutos Federais (ENCompIF). [Online] :