Embedded System Design: Modeling, Synthesis and