Handbook of Real-Time and Embedded Systems