Brezovan, M.; Stanescu, L.; Ganea, E. Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. IJCAI 2016, 40.