Real-Time embedded systems : design principles and engineering practices - Fan, Xiaocong (Newnes, 2015)