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