Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code | IEEE Conference Publication | IEEE Xplore