Translating TLA + to B for Validation with ProB. - Dominik Hansen; Michael Leuschel (IFM, 2012)

Translating B to TLA + for Validation with TLC. - Dominik Hansen; Michael Leuschel (ABZ, 2014)

Generating Event-B Specifications from Algorithm Descriptions. - Joy Clark; Jens Bendisposto; Stefan Hallerstede; Dominik Hansen; Michael Leuschel (ABZ, 2016)

Using B and ProB for Data Validation Projects. - Dominik Hansen; David Schneider 001; Michael Leuschel (ABZ, 2016)

Translating B to TLA+ for validation with TLC. - Dominik Hansen; Michael Leuschel (Sci. Comput. Program., 2016)

Validation of the ABZ landing gear system using ProB. - Lukas Ladenberger; Dominik Hansen; Harald Wiegard; Jens Bendisposto; Michael Leuschel (Int. J. Softw. Tools Technol. Transf., 2017)

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. - Dominik Hansen; Michael Leuschel; David Schneider 001; Sebastian Krings; Philipp Körner; Thomas Naulin; Nader Nayeri; Frank Skowron (ABZ, 2018)

A Multi-target Code Generator for High-Level B. - Fabian Vu; Dominik Hansen; Philipp Körner; Michael Leuschel (IFM, 2019)

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. - Dominik Hansen; Michael Leuschel; Philipp Körner; Sebastian Krings; Thomas Naulin; Nader Nayeri; David Schneider 001; Frank Skowron (Int. J. Softw. Tools Technol. Transf., 2020)