Yilmaz, Emre, and Thai Son Hoang. 2011. “Development of Rabin’s Choice Coordination Algorithm in Event-B”. Electronic Communications of the EASST 35 (April). https://doi.org/10.14279/tuj.eceasst.35.548.