Automated timing analysis of real time systems by