@inproceedings{SEKE-2009-YuanHZL,
	author        = "Min Yuan and Zhiqiu Huang and Jian Zhao and Xiang Li",
	booktitle     = "{Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering}",
	isbn          = "1-891706-24-1",
	pages         = "274--279",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{Modeling and Verification of Automatic Multi-business Transactions}",
	year          = 2009,
}