Handbook Of Real-Time And Embedded Systems by Lee Insup