Idir Aït-Sadoune Yamine Aït Ameur A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. 405-406 2010 ASM http://dx.doi.org/10.1007/978-3-642-11811-1_39 conf/asm/2010 db/conf/asm/abz2010.html#Ait-SadouneA10