Automatic Refinement for Event-B through Annotated Patterns. - Siala, Badr; Bodeveix, Jean-Paul; Filali, Mamoun; Bhiri, Mohamed Tahar (2017)