Title: Real-Time Systems Design & Analysis 3Rd Ed.