ULFERTS, G. W.; DROMMI, A.; SHOEMAKER, D. Embedding Security Functionality In Formal Specifications Of Requirements. Review of Business Information Systems (RBIS), v. 11, n. 4, p. 17-26, 1 Oct. 2007.