Carsten Albrecht Roman Koch Thilo Pionteck Erik Maehle Michael Werner Rudolf Fuchsen WCET determination tool for embedded systems software. 48 2008 SimuTools http://doi.acm.org/10.1145/1416222.1416277 conf/simutools/2008 db/conf/simutools/simutools2008.html#AlbrechtKPMWF08