Xiwei Xu, Ingo Weber, Len Bass, Liming Zhu, Hiroshi Wada, Fei Teng. Detecting cloud provisioning errors using an annotated process model. In Karl M. Göschka, José Orlando Pereira, Patrick C. K. Hung, editors, Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing, MW4NextGen 2013, Beijing, China, December 9-13, 2013. ACM, 2013. [doi]