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