Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. - Khaoula Bouba; Abderrahim Ait Wakrime; Yassine Ouhammou; Rédouane Benaini (MEDI, 2022)

A transformation methodology for Capella to Event-B models with DSL verification. - Khaoula Bouba; Abderrahim Ait Wakrime; Yassine Ouhammou; Rédouane Benaini (J. Comput. Lang., 2023)