Dani Barkah Andreas Ermedahl Jan Gustafsson Björn Lisper Christer Sandberg Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. 331-340 2008 ECRTS http://dx.doi.org/10.1109/ECRTS.2008.37 conf/ecrts/2008 db/conf/ecrts/ecrts2008.html#BarkahEGLS08