Towards Trustworthy Composite Service Through Business Process Model Verification. - Wenjia Huai; Xudong Liu 001; Hailong Sun 001 (UIC/ATC Workshops, 2010)