Dghaym, D., Butler, M. and Fathabadi, A. S. (2014) “Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling”, Electronic Communications of the EASST, 66. doi: 10.14279/tuj.eceasst.66.891.