Hoang, T. S.; Iliasov, A.; Silva, R. A.; Wei, W. A Survey on Event-B Decomposition. ECEASST 2011, 46.