A machine independente wCET predictor for microcontrollers and DSPs - Tavares, Adriano (2001)