Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing | Publicación