Operating Systems for Low-End Devices in the Internet of Things: A Survey
Verifying FreeRTOS; a feasibility study