T. S. Hoang, A. Iliasov, R. A. Silva, and W. Wei, “A Survey on Event-B Decomposition”, eceasst, vol. 46, Dec. 2011.