Title: Development and testing of computational procedures for signal timing design at isolated intersections