E. Alkhammash, A. S. Fathabadi, M. Butler, and C. Cirstea, “Building Traceable Event-B Models from Requirements”, eceasst, vol. 66, Feb. 2014.