Haiyang Sun Jian Yang CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. 220-231 2007 Business Process Management Workshops http://dx.doi.org/10.1007/978-3-540-78238-4_23 conf/bpm/2007w db/conf/bpm/bpmw2007.html#SunY07