Translation Pattern of BPEL Process into Promela Code | IEEE Conference Publication | IEEE Xplore