GENERATING SIMULINK AND STATEFLOW MODELS FROM SOFTWARE SPECIFICATIONS | AMiner