Fully automatic worst-case execution time analysis for MATLAB/Simulink models | IEEE Conference Publication | IEEE Xplore