Automatic code generation for airborne systems | IEEE Conference Publication | IEEE Xplore