E. Yilmaz and T. S. Hoang, “Development of Rabin’s Choice Coordination Algorithm in Event-B”, eceasst, vol. 35, Apr. 2011.