On reliability analysis of leader election protocols for virtual traffic lights | IEEE Conference Publication | IEEE Xplore