1. College of Information Science and Technology Beijing University of Chemical Technology Beijing China
2. School of Information Science and Technology Nantong University Jiangsu China
3. Key Laboratory of Safety‐Critical Software (Nanjing University of Aeronautics and Astronautics) Ministry of Industry and Information Technology Nanjing China