Yilmaz, Emre and Hoang, Thai Son   Development of Rabin's Choice Coordination Algorithm in Event-B.  Technical Report. University of Düsseldorf, Dusseldorf, Germany.