Embedded Operating Systems - Alan Holt, Chi-Yu Huang (Springer, 2018)