Handbook of real-time and embedded systems - Lee, Insup; Leung, Joseph Y-T; Son, Sang H. (CRC Press, 2008)