Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz. Formal Verification of Business Workflows and Role Based Access Control Systems. In Lourdes Peñalver, Oana Andreea Dini, Judie Mulholland, Octtavio Nieto-Taladriz, editors, Proceedings of the First International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2007, October 14-20, 2007, Valencia, Spain. pages 201-210, IEEE, 2007. [doi]