A signal timing plan formulation for urban traffic control