Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores - Anonymous (2021)