The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. - Huibiao Zhu; Qiwen Xu; Chris Ma; Shengchao Qin; Zongyan Qiu (SEFM, 2012)