Queues with server vacations as a model for semi-actuated signalised intersections - M. Lurdes Simões (2019)