Yilmaz, E.; Hoang, T. S. Development of Rabin’s Choice Coordination Algorithm in Event-B. ECEASST 2011, 35.