Use alert-based timeout, save execution_time
Introduce simulated_time and jitter in the scheduler