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