M. Brezovan, L. Stanescu, and E. Ganea, “Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language”, Informatica, vol. 40, no. 1, Mar. 2016, Accessed: Aug. 14, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/1168