A machine independent WCET predictor for microcontrollers and DSPs [worst case execution time] | IEEE Conference Publication | IEEE Xplore