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

We should be doing the same for timed nextTrigger too.
Merge pull request #12 from puneet/master

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