Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software | IEEE Conference Publication | IEEE Xplore