Real-time embedded systems optimization, synthesis, and networking - Qiu, Meikang (CRC Press, 2011)