Basit Shafiq Ammar Masood James Joshi Arif Ghafoor A Role-Based Access Control Policy Verification Framework for Real-Time Systems. 13-20 2005 conf/words/2005 WORDS http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.11 db/conf/words/words2005.html#ShafiqMJG05