Stein, Sebastian and Gerding, Enrico H and Rogers, Alex and Larson, Kate and Jennings, Nicholas R  (2011) Algorithms and mechanisms for procuring services with uncertain durations using redundancy.  Artificial Intelligence, 175 (14).  pp. 2021-2060.