Applying Runtime Verification in Real-Time Systems with FreeRTOS. - Elton Ferreira Broering; Leandro Buss Becker (SBESC, 2022)