A probabilistic model for the performance analysis of a distributed task allocation algorithm | IEEE Conference Publication | IEEE Xplore