Hoang, T. S. (2011) “A Survey on Event-B Decomposition”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.688.