Model-based testing methodology using system entity structures for MATLAB/Simulink models. (August 2016)