Model-Based Design for Control Systems