An Automatic Approach to Generate Haste Code from Simulink Specifications | IEEE Conference Publication | IEEE Xplore