publicações selecionadas artigo académico Estimation of WCET using a little language to describe microcontroller and DSP architectures. Desdes '1: Proceedings of the International Workshop on Discrete-Event System Design. 2001