Chan, W.K., Lijun Me, and Zhenyu Zhang. Modeling and Testing of Cloud Applications In IEEE Asia-Pacific Services Computing Conference (APSCC?09. Singapore, 2009.