Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque: Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58