Optimal allocation of a server between two queues with due times | IEEE Journals & Magazine | IEEE Xplore