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