Time-Optimal Leader Election in Population Protocols | IEEE Journals & Magazine | IEEE Xplore