Zhao Xiangpeng Antonio Cerone Padmanabhan Krishnan Verifying BPEL Workflows Under Authorisation Constraints. 439-444 2006 conf/bpm/2006 Business Process Management http://dx.doi.org/10.1007/11841760_36 db/conf/bpm/bpm2006.html#XiangpengCK06