A Linear Formulation of The On-Time Arrival Problem in Multi-Regional Networks | IEEE Conference Publication | IEEE Xplore