Add distinction between timed schedulers