Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. INF 2016, 40 (1).