Antoine Colin Isabelle Puaut A Modular & Retargetable Framework for Tree-Based WCET Analysis. 37-44 2001 conf/ecrts/2001 ECRTS http://csdl.computer.org/comp/proceedings/ecrts/2001/1221/00/12210037abs.htm db/conf/ecrts/ecrts2001.html#ColinP01