- void startRunExecution(Thread *old);
- void finishRunExecution(Thread *old);
- void consumeAction();
- void chooseThread(ModelAction *act, Thread *thr);
- Thread * getNextThread();
- void handleChosenThread(Thread *old);
- void handleNewValidThread(Thread *old, Thread *next);
-