Samrat Mondal Shamik Sural Vijayalakshmi Atluri Towards formal security analysis of GTRBAC using timed automata. 33-42 2009 SACMAT http://doi.acm.org/10.1145/1542207.1542214 conf/sacmat/2009 db/conf/sacmat/sacmat2009.html#MondalSA09