Translating B to TLA+ for validation with TLC. - Hansen, Dominik; Leuschel, Michael (Science of Computer Programming, 2016)