Embedded System Design: Modeling, Analysis, and Synthesis