Geng, X. ., Zou, S.- rong ., & Yao, J.- yi . (2022). Systematic Transformation Method from UML to Event-B. In (pp. 770–771). Guangzhou, China: IEEE. http://doi.org/10.1109/QRS-C57518.2022.00127 (Original work published 2024)