Broering, E., & 		Becker, L.
(2022).
 Applying Runtime Verification in Real-Time Systems with FreeRTOS.
In <em>Anais do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 33-38). Porto Alegre: SBC.