Real-Time Systems: Modeling, Design, and Applications (Amast