SMT solving for the validation of B and Event-B models - Schmidt, Joshua; Leuschel, Michael (International Journal on Software Tools for Technology Transfer, 2022)