1. College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China
2. Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China
3. Key Laboratory of Safety‐Critical Software Ministry of Industry and Information Technology Nanjing China
4. Department of Computer Science TU Kaiserslautern Kaiserslautern Germany
5. School of Computer Science and Engineering Nanyang Technological University Singapore Singapore
6. School of Electronic and Information Engineering Suzhou University of Science and Technology Suzhou China