Timing analysis of real-time software