Model Checking B Models via High-Level Code Generation. - Fabian Vu; Dominik Brandt; Michael Leuschel (ICFEM, 2022)