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