Real-Time Embedded Systems (Quantitative Software Engineering Series) [Hardcover]