Weiqiang Kong Kazuhiro Ogata Kokichi Futatsugi Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. 3-32 2007 17 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194007003124 db/journals/ijseke/ijseke17.html#KongOF07