Min Yuan Zhiqiu Huang Jian Zhao Xiang Li Modeling and Verification of Automatic Multi-business Transactions. 274-279 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#YuanHZL09