Embedded and Real-Time Operating Systems - Wang, K.C (Springer International Publishing : Imprint: Springer, 2017)