Xining Cui Yukai Hao Xiaodi Dai Simulation Verification Technology of Virtual-Real-Integration Avionics System. 472-477 2020 DSA https://doi.org/10.1109/DSA51864.2020.00080 conf/dsa/2020 db/conf/dsa/dsa2020.html#CuiHD20