Matlab® / Simulink® generated source code for safety related systems | IEEE Conference Publication | IEEE Xplore