Carsten Albrecht, Roman Koch, Thilo Pionteck, Erik Maehle, Michael Werner, Rudolf Fuchsen: WCET determination tool for embedded systems software. SimuTools 2008: 48