Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL
FENG Si-zhe, YANG Zhi-bin, XUE Lei
Computer and Modernization . 2020, (06): 52 .