publicações selecionadas artigo académico A machine independent WCET predictor for microcontrollers and DSPs. IEEE International Symposium on Industrial Electronics. 2001