Passive transit signal priority for high transit demand: model formulation and strategy selection. Issue 3 (4th May 2019)