@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,
}