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