Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.