A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights | IEEE Conference Publication | IEEE Xplore