Ahmed, Tripathi, 2003. Static verification of security requirements in role based CSCW systems, in: . ACM Press.. https://doi.org/10.1145/775436.775438