Yilmaz, E., & Hoang, T. S. (2011). Development of Rabin’s Choice Coordination Algorithm in Event-B. Electronic Communications of the EASST, 35. https://doi.org/10.14279/tuj.eceasst.35.548