1. Nanjing University of Aeronautics and Astronautics, China
2. Nanjing University of Aeronautics and Astronautics, China and Collaborative Innovation Center of Novel Software Technology and Industrialization, China
3. Army Engineering of PLA, China
4. Nanjing University of Aeronautics and Astronautics, China and Ministry Key Laboratory for Safety-Critical Software Development and Verification, China