Niklas Holsti Computing time as a program variable: a way around infeasible paths. 2008 WCET http://drops.dagstuhl.de/opus/volltexte/2008/1660 conf/wcet/2008 db/conf/wcet/wcet2008.html#Holsti08