Samuel Petersson Andreas Ermedahl Anders Pettersson Daniel Sundmark Niklas Holsti Using a WCET Analysis Tool in Real-Time Systems Education. 2005 conf/wcet/2005 WCET http://drops.dagstuhl.de/opus/volltexte/2007/812 db/conf/wcet/wcet2005.html#PeterssonEPSH05