An AADL-Based Modeling Method for ARINC653-Based Avionics Software. - Ying Wang; Dianfu Ma; Yongwang Zhao; Lu Zou; Xianqi Zhao (COMPSAC, 2011)

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. - Ying Wang; Dianfu Ma; Yongwang Zhao; Lu Zou; Xianqi Zhao (COMPSAC, 2012)

Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. - Wenjuan Wu; Dianfu Ma; Yongwang Zhao; Xianqi Zhao (KSEM, 2014)