Timing Analysis by Nuno Gaspar