Towards a Method for the Decomposition by Refinement in Event-B. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (FM Workshops (2), 2019)

Event-B Decomposition Analysis for Systems Behavior Modeling. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (ICSOFT, 2019)

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. - Kenza Kraibi; Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (J. Commun., 2019)

Event-B: From Systems to Sub-systems Modeling. - Kenza Kraibi (ABZ, 2020)

Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B. (Vers une architecture modulaire de modélisation formelle : décomposition système/sous-systèmes en B événementiel). - Kenza Kraibi (2021)