Abstract: Model-based design and testing incorporate computer models of dynamic systems in the workflow to reduce the development or testing time. These techniques are widely used in a control ...