Real-time embedded systems : optimization, synthesis, and networking - Qiu, Meikang; Li, Jiayin (CRC Press [u.a.], 2011)