A Connectivity Probability Based Cross-Layer Routing Handoff Mechanism in Software Defined VANETs | IEEE Conference Publication | IEEE Xplore