Christoph Cullmann Florian Martin Data-Flow Based Detection of Loop Bounds. 2007 conf/wcet/2007 WCET http://drops.dagstuhl.de/opus/volltexte/2007/1193 db/conf/wcet/wcet2007.html#CullmannM07