Embedded And Real Time Operating Systems - Wang (Springer, 2017)