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