Ulferts, G. W.; Drommi, A.; Shoemaker, D. Embedding Security Functionality In Formal Specifications Of Requirements. RBIS 2007, 11, 17-26.