D. Dghaym, M. Butler, and A. S. Fathabadi, “Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling”, eceasst, vol. 66, Feb. 2014.