Rongsheng Dong Zhao Wei Xiangyu Luo Fang Liu Testing Conformance of BPEL Business Process Based on Model Checking. 1030-1037 2010 5 JSW 9 http://dx.doi.org/10.4304/jsw.5.9.1030-1037 db/journals/jsw/jsw5.html#DongWLL10