code: public synchronized void runslice(long slice)
  	{
  		// Run one time slice - called by Scheduler
  		timeslice = slice;
  		waitWhileState(RunState.RUNNING, RunState.RUNNING, null, null);
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.vdmj.scheduler.ISchedulableThread#runslice(long)