Segment-Level FP-Scheduling in FreeRTOS. - Robin Edmaier; Niklas Ueter; Jian-Jia Chen (RTCSA, 2022)