Virtualization in VANETs to support the vehicular cloud — Experiments with the network as a service model | IEEE Conference Publication | IEEE Xplore