A Rigorous Treatment of a Follow-the-Leader Traffic Model with Traffic Lights Present. - Brenna D. Argall; Colin Hinde; Eugene Cheleshkin; James M. Greenberg; Pei-Jen Lin (SIAM J. Appl. Math., 2002)