Qingfeng He, Annie I. Antón: Requirements-based Access Control Analysis and Policy Specification (ReCAPS). Inf. Softw. Technol. 51(6): 993-1009 (2009)