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