Model-based automatic test generation for Simulink/Stateflow using extended finite automaton | IEEE Conference Publication | IEEE Xplore