Honghua Cao Shi Ying Dehui Du Towards Model-based Verification of BPEL with Model Checking. 190 2006 conf/IEEEcit/2006 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2006.185 db/conf/IEEEcit/IEEEcit2006.html#CaoYD06