Adam Betts, Alastair F. Donaldson: Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ECRTS 2013: 193-202