Brezovan M, Stanescu L, Ganea E. Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. Informatica. 2016;40(1). Accessed August 14, 2026. https://www.informatica.si/index.php/informatica/article/view/1168