Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.