code: public void step(Context ctxt, ILexLocation location)
  	{
  		if (Settings.dialect == Dialect.VDM_RT)
  		{
  			if (!virtual)
  			{
  				duration(getObject().getCPU().getDuration(Properties.rt_cycle_default), ctxt, location);
  			}
  		} else
  		{
  			SystemClock.advance(Properties.rt_duration_default);
  		}
  
  		// Note that we don't reschedule if we are in an outer cycles/duration
  
  		if (++steps >= timeslice && !inOuterTimeStep)
  		{
  			reschedule(ctxt, location);
  			steps = 0;
  		}
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.vdmj.scheduler.ISchedulableThread#step(org.overture.vdmj.runtime.Context,
  org.overture.vdmj.lex.ILexLocation)