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)

Modelling and Validating an Automotive System in Classical B and Event-B. - Michael Leuschel; Mareike Mutz; Michelle Werth (ABZ, 2020)