added batcher-timer model