Broering, E., & 		Becker, L.
2022 nov 21.  Applying Runtime Verification in Real-Time Systems with FreeRTOS. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :