Cloud-driven traffic control: Formal modeling and technical realization | IEEE Conference Publication | IEEE Xplore