Broering, Elton, E 		Becker, Leandro.
" Applying Runtime Verification in Real-Time Systems with FreeRTOS" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (21 novembro 2022)