@article{Kovacs-Varro-Gonczy, author = {M\'at\'e Kov\'acs and D\'aniel Varr\'o and L\'aszl\'o G\"onczy}, title = {Formal {A}nalysis of {BPEL} {W}orkflows with {C}ompensation by {M}odel {C}hecking}, journal = {International Journal of Computer Systems Science and Engineering}, year = 2008, }