Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. - Mathieu Comptier; Michael Leuschel; Luis-Fernando Mejia; Julien Molinero Perez; Mareike Mutz (RSSRail, 2019)

The First Twenty-Five Years of Industrial Use of the B-Method. - Michael J. Butler; Philipp Körner; Sebastian Krings; Thierry Lecomte; Michael Leuschel; Luis-Fernando Mejia; Laurent Voisin (FMICS, 2020)

Analytical and Rothe time-discretization method for a Boussinesq-type system over an uneven bottom. - Luis-Fernando Mejia; Juan Carlos Muñoz Grajales (Commun. Nonlinear Sci. Numer. Simul., 2021)