Using a WCET Analysis Tool in Real-Time Systems Education. - Samuel Petersson; Andreas Ermedahl; Anders Pettersson; Daniel Sundmark; Niklas Holsti (WCET, 2005)