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