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