The following publications are possibly variants of this publication:
- Validating B, Z and TLA + Using ProB and KodkodDaniel Plagge, Michael Leuschel. FM 2012: 372-386 [doi]
- Translating B to TLA + for Validation with TLCDominik Hansen, Michael Leuschel. asm 2014: 40-55 [doi]
- A Generic Flash-Based Animation Engine for ProBJens Bendisposto, Michael Leuschel. b 2006: 266-269 [doi]
- Using B and ProB for Data Validation ProjectsDominik Hansen, David Schneider, Michael Leuschel. asm 2016: 167-182 [doi]
- ProB: A Model Checker for BMichael Leuschel, Michael J. Butler. FM 2003: 855-874 [doi]
- La validation de modèles Event-B avec le plug-in ProB pour RODINJens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia. tsi, 27(8):1065-1084, 2008. [doi]