Open Source Port of NASA's Core Flight System to FreeRTOS in Arm Cortex-M-Based Microprocessor | IEEE Conference Publication | IEEE Xplore