A visually-specified code generator for Simulink/Stateflow | IEEE Conference Publication | IEEE Xplore