Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior | IEEE Journals & Magazine | IEEE Xplore