Funding for this research was provided by:
National Key Research and Development Program of China (2019YFB1703903)
National Natural Science Foundation of China (61732019, 61902011)
Key Laboratory of Safety-Critical Software (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology (NJ2018014)
Article History
Received: 26 January 2021
Accepted: 15 April 2021
First Online: 21 May 2021