Optimization algorithms for sequential timing analysis - Burke, Andrew