Dynamic all-red extension at a signalized intersection: A framework of probabilistic modeling and performance evaluationLiping ZhangLanjun Wanget al.2012IEEE T-ITS