Real-Time Embedded Systems: Optimization, Synthesis, and Networking