Real-Time Embedded Systems - Fan, Xiacong (Newnes, 2015)