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