Automatic code generation from Matlab/Simulink for critical applications | IEEE Conference Publication | IEEE Xplore