1. College of Computer Science and Electronic Engineering, Hunan University, Changsha, China
2. College of Computer Science and the Ministry of Education Key Laboratory of Dependable Service Computing in Cyber Physical Society, Chongqing University, Chongqing, China
3. School of Computer Science, The University of Auckland, Auckland, New Zealand
4. Computing Product Line, Huawei Technologies Company Ltd., Shenzhen, China