Alkhammash, E. (2014) “Building Traceable Event-B Models from Requirements”, Electronic Communications of the EASST, 66. doi: 10.14279/tuj.eceasst.66.894.