1. Modélisation architecturale des systèmes avec la méthode Arcadia: guide pratique de Capella;Roques,2018
2. Semantic anchoring with model transformations;Chen,2005
3. Modeling in Event-B: System and Software Engineering;Abrial,2010
4. Towards the strengthening of Capella modeling semantics by integrating event-b: A rigorous model-based approach for safety-critical systems;Bouba,2022
5. Dominique Méry, Neeraj Kumar Singh, Automatic code generation from Event-B models, in: Proceedings of the 2nd Symposium on Information and Communication Technology, 2011, pp. 179–188.