Systematic Transformation Method from UML to Event-B. - Xue Geng; Sheng-rong Zou; Ju-yi Yao (QRS Companion, 2022)