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