Arnaud Dury Sergiy Boroday Alexandre Petrenko Volkmar Lotz Formal Verification of Business Workflows and Role Based Access Control Systems. 201-210 2007 SECURWARE http://dx.doi.org/10.1109/SECUREWARE.2007.4385334 conf/securware/2007 db/conf/securware/securware2007.html#DuryBPL07