Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing | IEEE Conference Publication | IEEE Xplore