Added ExecutionTimer, to help measuring performance.