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