Enviar por SMS: Estimation of WCET using a little language to describe microcontrollers and DSPs architectures