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

VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. - Michelle Werth; Michael Leuschel (ABZ, 2020)

ProB2-UI: A Java-Based User Interface for ProB. - Jens Bendisposto; David Geleßus; Yumiko Jansing; Michael Leuschel; Antonia Pütz; Fabian Vu; Michelle Werth (FMICS, 2021)