Model-Based Design of Control Systems