Model-Based Design for Effective Control System Development