An Efficient Leader Election Protocol for Wireless Quasi-Static Mesh Networks: Proof of Correctness | IEEE Conference Publication | IEEE Xplore