Xiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202