1. Fuzhou University, Fuzhou, China and Fujian Provincial Key Laboratory of Networking Computing and Intelligent Information Processing
2. Key Laboratory of High Confidence Software Technologies (Ministry of Education) and Peking University, Beijing, China