Segment-Level FP-Scheduling in FreeRTOS | IEEE Conference Publication | IEEE Xplore