Text this: An Accurate Worst Case Timing Analysis for RISC Processors.