A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. - Meryem Afendi (ABZ, 2020)

Modelling Hybrid Programs with Event-B. - Meryem Afendi; Régine Laleau; Amel Mammar (ABZ, 2020)

Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. - Meryem Afendi; Amel Mammar; Régine Laleau (ICECCS, 2022)

Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. - Amel Mammar; Meryem Afendi; Régine Laleau (Sci. Comput. Program., 2022)

A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B). - Meryem Afendi (2022)

A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. - Meryem Afendi; Amel Mammar; Régine Laleau (ICSOFT, 2023)