Peter P. Puschner, Roman Nossal: Testing the Results of Static Worst-Case Execution-Time Analysis. RTSS 1998: 134-143