Antoine Colin Stefan M. Petters Experimental Evaluation of Code Properties for WCET Analysis. 190-199 2003 conf/rtss/2003 RTSS http://csdl.computer.org/comp/proceedings/rtss/2003/2044/00/20440190abs.htm db/conf/rtss/rtss2003.html#ColinP03