A feasibility study for ARINC 653 based operational flight program development | IEEE Conference Publication | IEEE Xplore