1. [n.d.]. embOS - Real-Time Operating System - SEGGER. https://www.segger.com/cms/admin/uploads/productDocs/UM01001_embOS_Generic.pdf [n.d.]. embOS - Real-Time Operating System - SEGGER. https://www.segger.com/cms/admin/uploads/productDocs/UM01001_embOS_Generic.pdf
2. [n.d.]. µC/OS-III: The Real-Time Kernel for the Freescale Kinetis. [n.d.]. µC/OS-III: The Real-Time Kernel for the Freescale Kinetis.
3. Richard Barry. 2010. USING THE FREERTOS REAL TIME KERNEL A Practical Guide. (2010). Richard Barry. 2010. USING THE FREERTOS REAL TIME KERNEL A Practical Guide. (2010).
4. Designing time partitions for real-time hypervisor with sufficient temporal independence
5. Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor