Broering, E., & 		Becker, L.
(2022).
 Applying Runtime Verification in Real-Time Systems with FreeRTOS.
In <em>Proceedings of the 12th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 33-38). Porto Alegre: SBC.