Dghaym, Dana, Michael Butler, and Asieh Salehi Fathabadi. 2014. “Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling”. Electronic Communications of the EASST 66 (February). https://doi.org/10.14279/tuj.eceasst.66.891.