Alkhammash, E., Fathabadi, A. S., Butler, M., & Cirstea, C. (2014). Building Traceable Event-B Models from Requirements. Electronic Communications of the EASST, 66. https://doi.org/10.14279/tuj.eceasst.66.894