Handbook of real-time embedded systems - Lee, Insup; Leung, Joseph Y-T; Son, Sang H. (Chapman & Hall/CRC, 2008)