Broering, E., & 		Becker, L.
2022 Nov 21.  Applying Runtime Verification in Real-Time Systems with FreeRTOS. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :