A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. - Christophe Chen; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït-Ameur; Marc Frappier (FormaliSE, 2025)

Formal Modelling and Reasoning on Assurance Cases Expressed with GSN in Event-B. - Christophe Chen (ABZ, 2025)