Translation Pattern of BPEL Process into Promela Code. - Ryosuke Nakashiro; Yasutaka Kamei; Naoyasu Ubayashi; Shin Nakajima 001; Akihito Iwai (IWSM/Mensura, 2011)