Elimination of Unstructured Loops in Flow Analysis. - Christer Sandberg (WCET, 2003)

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. - Jan Gustafsson; Björn Lisper; Christer Sandberg; Nerina Bermudo (WORDS, 2003)

Faster WCET flow analysis by program slicing. - Christer Sandberg; Andreas Ermedahl; Jan Gustafsson; Björn Lisper (LCTES, 2006)

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. - Jan Gustafsson; Andreas Ermedahl; Christer Sandberg; Björn Lisper (RTSS, 2006)

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. - Andreas Ermedahl; Christer Sandberg; Jan Gustafsson; Stefan Bygde; Björn Lisper (WCET, 2007)

Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis. - Daniel Sundmark; Anders Pettersson; Christer Sandberg; Andreas Ermedahl; Henrik Thane (WCET, 2007)

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. - Dani Barkah; Andreas Ermedahl; Jan Gustafsson; Björn Lisper; Christer Sandberg (ECRTS, 2008)

ALF - A Language for WCET Flow Analysis. - Jan Gustafsson; Andreas Ermedahl; Björn Lisper; Christer Sandberg; Linus Källberg (WCET, 2009)