Antoine Colin Guillem Bernat Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. 50- 2002 conf/ecrts/2002 ECRTS http://csdl.computer.org/comp/proceedings/ecrts/2002/1665/00/16650050abs.htm db/conf/ecrts/ecrts2002.html#ColinB02