Broering, Elton, and Leandro Buss Becker.
" Applying Runtime Verification in Real-Time Systems with FreeRTOS." <em>Anais do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Fortaleza/CE, 2022</em>. SBC, 2022,  
pp.33-38.