Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution | IEEE Conference Publication | IEEE Xplore