Multi-intersection Traffic Light Control with Blocking J. of Discrete Event Dynamic Systems,  Vol. 25, 1, pp. 7-30, 2015.