@inproceedings{KovacsVG07,
  author = {M\'at\'e Kov\'acs and D\'aniel Varr\'o and L\'aszl\'o G\"onczy},
  title = {Formal {M}odeling of {BPEL} {W}orkflows {I}ncluding {F}ault and {C}ompensation {H}andling},
  booktitle = {Proc. of the 2007 Workshop on Engineering Fault Tolerant Systems (EFTS 2007)},
  month = {September 4},
  year = 2007,
  address = {Dubrovnik, Croatia},
}