Embedded and real-time operating systems - Wang, K. C. (Springer, 2017)