Formal verification of a distributed master election protocol | IEEE Conference Publication | IEEE Xplore