Brezovan, Marius, et al. “Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language”. Informatica, vol. 40, no. 1, Mar. 2016, https://puffbird.ijs.si/index.php/informatica/article/view/1168.