Model-Based Design for Embedded Control Systems