Synthesis And Verification Of Networked Systems With Applications To Transportation Networks