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