Antoine Colin, Stefan M. Petters: Experimental Evaluation of Code Properties for WCET Analysis. RTSS 2003: 190-199