G. W. Ulferts, A. Drommi, and D. Shoemaker, “Embedding Security Functionality In Formal Specifications Of Requirements”, RBIS, vol. 11, no. 4, pp. 17–26, Oct. 2007.