Combining Static Worst-Case Timing Analysis and Program Proof.

Roderick Chapman Alan Burns Andy J. Wellings Combining Static Worst-Case Timing Analysis and Program Proof. 145-171 1996 11 Real-Time Systems 2 db/journals/rts/rts11.html#ChapmanBW96 http://dx.doi.org/10.1007/BF00365316