For timed waits, now we have a dedicated event inside every Process.

We should be doing the same for timed nextTrigger too.