Reinhard Wilhelm: Determining Bounds on Execution Times. Embedded Systems Handbook 2005