1. Key Laboratory of Dependable Service Computing in Cyber Physical Society (Chongqing University), Ministry of Education, Department of Computer Science, Chongqing University, Chongqing 400044, P. R. China
2. Department of Mathematics and Computer Science, University of Lethbridge, Canada