Leader Election in the Timed Finite Average Response Time Model | IEEE Conference Publication | IEEE Xplore