Handbook of Real-Time and Embedded Systems - Lee, Insup ((Chapman and Hall/CRC Computer and Information Science Series))