Alkhammash, E.; Fathabadi, A. S.; Butler, M.; Cirstea, C. Building Traceable Event-B Models from Requirements. eceasst 2014, 66.