Hoang, Thai Son, Alexei Iliasov, Renato A Silva, and Wei Wei. 2011. “A Survey on Event-B Decomposition”. Electronic Communications of the EASST 46 (December). https://doi.org/10.14279/tuj.eceasst.46.688.